Merge pull request #4629 from sur5r/xmlto-titlelength

Extend title length for xmlto
This commit is contained in:
Ingo Bürk 2021-10-28 08:40:08 +02:00 committed by GitHub
commit 36f9f86714
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -229,6 +229,8 @@ if get_option('mans')
output: '@BASENAME@.1',
command: [
xmlto,
'--stringparam',
'man.th.title.max.length=30',
'man',
'-o',
'@OUTDIR@',