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