2 Commits

Author	SHA1	Message	Date
Florian Müllner	e2ce7e3f0f	man: Port the man pages to reStructuredText ... It's as human-readable as asciidoc and produces the same results, but the tooling is more widely supported. Also both GLib and GTK switched to it for their man pages, so rst2man is already a dependency of the platform. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3454>	2024-08-28 19:49:45 +00:00
Florian Müllner	51518d4d96	extensions-tool: Move to a subproject ... The gnome-extensions tool code is really independent from the rest of the code base, and could be used either as part of the gnome-shell build or as stand-alone project (for example for the extension-ci docker image). We can actually support both cases by moving the code to a subproject. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/877	2019-12-18 19:13:24 +00:00