1
0
Fork 0

Merging upstream version 1.2.

Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
Daniel Baumann 2025-02-16 10:05:45 +01:00
parent de317aafca
commit a2fa71affa
Signed by: daniel
GPG key ID: FBB4F0E80A80222F
762 changed files with 7536 additions and 1096 deletions

View file

@ -85,7 +85,10 @@ if want_docs != 'false'
endforeach
else
if want_docs == 'all' or want_docs == 'man'
install_subdir('man', install_dir: mandir)
list_pre_compiled = find_program('list-pre-compiled.sh')
m = run_command(list_pre_compiled, check: true)
man_pages = m.stdout().strip().split('\n')
install_data(man_pages, install_dir: mandir)
endif
endif
endif