diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 33cb830..0b2eae3 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -6,6 +6,12 @@ dist_man_MANS = \ man/man3/slv2_util.3 \ man/man3/slv2_world.3 +if HAVE_DOXYGEN + man_MANS = $(dist_man_MANS) +else + man_mans = +endif + EXTRA_DIST = mainpage.dox reference.doxygen.in $(man_MANS) %.3: |