diff options
Diffstat (limited to 'doxygen/Makefile.am')
| -rw-r--r-- | doxygen/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doxygen/Makefile.am b/doxygen/Makefile.am index 68be963..d3f8593 100644 --- a/doxygen/Makefile.am +++ b/doxygen/Makefile.am @@ -27,9 +27,11 @@ clean-local: rm -rf man html install-data-local: if BUILD_MAN - mkdir -p $(DESTDIR)$(mandir)/man3 + mkdir -p $(DESTDIR)$(mandir)/man3 $(DESTDIR)$(mandir)/man7 cp --no-dereference --preserve=links,mode,timestamps man/man3/*.3\ $(DESTDIR)$(mandir)/man3/ + cp --no-dereference --preserve=links,mode,timestamps man/man7/*.7\ + $(DESTDIR)$(mandir)/man7/ endif if BUILD_HTML mkdir -p $(DESTDIR)$(htmldir) |