2017-05-25 00:16:27 +00:00
|
|
|
custom_target('man page',
|
2020-12-27 22:46:57 +00:00
|
|
|
input: ['gnome-shell.txt', 'stylesheet.xsl'],
|
2017-05-25 00:16:27 +00:00
|
|
|
output: 'gnome-shell.1',
|
2020-12-27 22:46:57 +00:00
|
|
|
command: [a2x, '-D', '@OUTDIR@', '--xsl-file', '@INPUT1@', '-f' ,'manpage', '@INPUT0@'],
|
2017-05-25 00:16:27 +00:00
|
|
|
install_dir: mandir + '/man1',
|
|
|
|
install: true
|
|
|
|
)
|