edu4rdshl/gnome-shell
1
0
Fork 0
mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-17 23:24:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

build: Pre-generate man pages at dist time

Browse source 
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>
This commit is contained in:
Florian Müllner 2020-12-15 19:23:14 +01:00
parent 88ac08b542
commit 9ef9a5ff8a
3 changed files with 39 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
subprojects/extensions-tool/meson.build
View file

@ -6,6 +6,7 @@ project('gnome-extensions-tool', 'c',
gio_req = '>= 2.56.0'
fs = import('fs')
gnome = import('gnome')
i18n = import('i18n')
@ -46,9 +47,12 @@ if bash_completion.found()
endif
if get_option('man')
a2x = find_program('a2x')
subdir('man')
if fs.exists('man/gnome-extensions.1')
install_man('man/gnome-extensions.1')
else
a2x = find_program('a2x')
subdir('man')
endif
endif
if not meson.is_subproject()