diff options
Diffstat (limited to 'meson.build')
| -rw-r--r-- | meson.build | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/meson.build b/meson.build index 63a9ece5..352c1734 100644 --- a/meson.build +++ b/meson.build @@ -140,6 +140,9 @@ if host_machine.system() != 'windows' ] endif +# Programs used by the build +mandoc = find_program('mandoc', required: false) + # Determine library type and the flags needed to build it library_name = versioned_name if get_option('default_library') == 'both' @@ -243,12 +246,6 @@ pkg.generate( # Build command line tools if get_option('tools') subdir('tools') - - if not get_option('docs').disabled() - install_man('doc/serd-filter.1') - install_man('doc/serd-pipe.1') - install_man('doc/serd-sort.1') - endif endif # Install header to a versioned include directory |