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
)