diff options
| -rw-r--r-- | doc/Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 4e809e1..aa75905 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -44,6 +44,10 @@ install-data-local: $(INSTALL) -d $(DESTDIR)$(docdir); \ cp -a api/html $(DESTDIR)$(docdir); \ fi + if [ -d api/man ]; then \ + $(INSTALL) -d $(DESTDIR)$(mandir)/man3; \ + $(INSTALL) api/man/man3/* $(DESTDIR)$(mandir)/man3; \ + fi clean-local: -rm -rf *.pdf *.html api |