diff options
| author | Chase Douglas <chase.douglas@ubuntu.com> | 2011-12-21 07:51:10 -0800 |
|---|---|---|
| committer | Chase Douglas <chase.douglas@ubuntu.com> | 2011-12-21 07:51:10 -0800 |
| commit | c63e0369cc4c7db7ffe3109b6ea8ff478ac4ba91 (patch) | |
| tree | 961313e6d4e0faa477cef9f3192e2333323ffb1d | |
| parent | c276dc0ac292d54ffc00dcab83ce7cc056c6c3df (diff) | |
Install man pages too
| -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 |