edu4rdshl/gnome-shell
1
0
Fork 0
mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-17 23:24:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
18696 commits 232 branches 344 tags 66 MiB
Commit graph

3 commits

Author SHA1 Message Date
Florian Müllner
8b70c09c46 doc: Replace wiki reference in man page 
The wiki will be retired, so point to the project README instead.

https://gitlab.gnome.org/GNOME/Initiatives/-/issues/51

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3215>
 2024-02-29 16:59:10 +00:00
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