Matthias Clasen e3abb6f178 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:31:54 -05:00

..

gnome-shell.xml

Convert man page to Docbook

2012-11-05 19:31:54 -05:00

Makefile.am

Convert man page to Docbook

2012-11-05 19:31:54 -05:00