diff options
author | Chase Douglas <chase.douglas@ubuntu.com> | 2011-12-14 10:54:33 -0800 |
---|---|---|
committer | Chase Douglas <chase.douglas@ubuntu.com> | 2011-12-14 10:54:33 -0800 |
commit | e51bcee92edeb7f3da577f9f2da2b6ecb96d17d4 (patch) | |
tree | 99993e5ad4db4b69105d7015bf4f0cbd3f2873e3 /doc | |
parent | d5df40d00c6729dfdf1504d50f3658d3de22c5f5 (diff) |
Only install documentation if it was created
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index d9e38b4..61fec83 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -39,9 +39,11 @@ doc-man-doxygen: doc-pdf-doxygen: doxygen -install-data-local: api/html - $(INSTALL) -d $(DESTDIR)$(docdir) - cp -a api/html $(DESTDIR)$(docdir) +install-data-local: + if [ -d api/html ]; then \ + $(INSTALL) -d $(DESTDIR)$(docdir); \ + cp -a api/html $(DESTDIR)$(docdir); \ + fi clean-local: -rm -rf *.pdf *.html api |