diff options
| author | Thomas Voß <thomas.voss@rub.de> | 2011-12-16 11:44:34 +0100 |
|---|---|---|
| committer | Thomas Voß <thomas.voss@rub.de> | 2011-12-16 11:44:34 +0100 |
| commit | 37906b3c6431e470a07bbf5fd26784f5116b141c (patch) | |
| tree | e154a01c77c09d903a3f0a926ce47534556cbf62 /doc | |
| parent | 67c98e96ab8ee10e2d399d1ed4fd1f20e3daffd5 (diff) | |
| parent | 5f10cf0d7bc2492e53bba8dc2105c8a9b8445a18 (diff) | |
Merged in lp:~chasedouglas/xorg-gtest/fixes.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 87e850f..4e809e1 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -21,11 +21,9 @@ ## <http://www.gnu.org/licenses/>. ## -dist_doc_DATA = \ +EXTRA_DIST = \ Doxyfile -# dist_man_MANS = geistest.1 - doc-html: doc-html-doxygen doc-man: doc-man-doxygen @@ -41,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 |