gnome-shell/man
Florian Müllner 3fc5c4c180 man: Use asciidoc for main man page as well
We already use asciidoc for the gnome-extensions man page, while
the main man page is generated from docbook XML. The former is a
much friendlier source format, so use it for both man pages.

Hopefully the plain text format encourages updates, to prevent the
page from getting as badly out of sync again as it is currently.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1553>
2020-12-28 02:19:18 +01:00
..
gnome-shell.txt man: Use asciidoc for main man page as well 2020-12-28 02:19:18 +01:00
meson.build man: Use asciidoc for main man page as well 2020-12-28 02:19:18 +01:00
stylesheet.xsl man: Use asciidoc for main man page as well 2020-12-28 02:19:18 +01:00