Matthias Clasen d046ba597f Convert man page to Docbook ... This make it easier to update the content and to transform the man page into other output formats, like HTML. https://bugzilla.gnome.org/show_bug.cgi?id=680601		2012-11-05 19:33:26 -05:00
..
gnome-shell.xml	Convert man page to Docbook	2012-11-05 19:33:26 -05:00
Makefile.am	Convert man page to Docbook	2012-11-05 19:33:26 -05:00