summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFilippo Giunchedi <filippo@esaurito.net>2009-10-04 18:26:07 (GMT)
committer Filippo Giunchedi <filippo@esaurito.net>2009-10-04 18:26:07 (GMT)
commitc005595b2e810d5eebb42801e8fbb4ad5e55acc7 (patch)
tree96f3e19141afd339e8fc2ffc1525fcecc118ea7c
parentfc6a3e8bef286942ec13962dff2bff8c6834a0e8 (diff)
improve doc/Makefile.am and ignore doc/muse.doxygen
-rw-r--r--.gitignore2
-rw-r--r--doc/Makefile.am6
2 files changed, 4 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore
index a06ac12..3488806 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,3 +21,5 @@ missing
src/muse
stamp-h1
INSTALL
+
+doc/muse.doxygen
diff --git a/doc/Makefile.am b/doc/Makefile.am
index d3d208e..20e394b 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -3,11 +3,10 @@ EXTRA_DIST = muse.doxygen.in
installdest = $(DESTDIR)$(docdir)/
htmlbuild = html
-doxygen-stamp: muse.doxygen
+$(htmlbuild)/index.html: muse.doxygen
$(DOXYGEN) muse.doxygen
- touch doxygen-stamp
-noinst_DATA = doxygen-stamp
+noinst_DATA = $(htmlbuild)/index.html
install-data-local:
$(INSTALL) -d $(installdest)
@@ -18,5 +17,4 @@ uninstall-local:
rm -rf $(installdest)/$(htmlbuild)/
clean-local:
- rm -rf doxygen-stamp
rm -rf html latex rtf man