2 Commits

Author	SHA1	Message	Date
Florian Müllner	88ac08b542	man: Update options ... The man page hasn't been updated in years, so the list of options ended up being quite outdated. Most notably it's missing all wayland-related options. Remove obsolete options and add all the missing ones so that the list is up to date again. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1553>	2020-12-28 02:25:17 +01:00
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