gnome-shell/subprojects
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
..
extensions-app Change upcoming version (again) 2020-12-25 23:30:25 +01:00
extensions-tool build: Pre-generate man pages at dist time 2020-12-28 02:25:24 +01:00
gvc@7a621180b4 subprojects: Update libgvc 2020-09-21 15:08:46 +02:00
shew Change upcoming version (again) 2020-12-25 23:30:25 +01:00