blob: 643509c16fbd746d53ce36681b6a4703c2200d25 (
plain)
1
2
3
4
5
6
7
|
custom_target('gnome-extensions.1',
input: ['gnome-extensions.txt', 'stylesheet.xsl'],
output: 'gnome-extensions.1',
command: [a2x, '-D', '@OUTDIR@', '--xsl-file', '@INPUT1@', '-f', 'manpage', '@INPUT0@'],
install_dir: mandir + '/man1',
install: true
)
|
