2 Commits

Author	SHA1	Message	Date
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
Florian Müllner	9ef9a5ff8a	build: Pre-generate man pages at dist time ... The man pages don't change very often, but draw in both docbook and asciidoc. The latter is particularly problematic, as some distros still ship only a python2 version of the tool. Address this by generating the man pages at dist time, and including the result in the tarball. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1553>	2020-12-28 02:25:24 +01:00