Florian Müllner 55fcb3aa00 build: Fix manpage generation at dist time ... The AsciiDoc API only exposes the capabilities of asciidoc, but not the related a2x tool. Fix generating the manpages by shelling out to the command line tool instead. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/4320 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1859>		2021-05-25 18:45:53 +00:00
..
generate-manpages.py	build: Fix manpage generation at dist time	2021-05-25 18:45:53 +00:00
generate-stylesheets.py	theme: Pre-generate stylesheets as well	2020-12-29 00:40:47 +01:00
postinstall.py	extensionPrefs: Add application icon	2020-02-03 19:03:19 +01:00