aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobin Haberkorn <robin.haberkorn@googlemail.com>2012-05-12 15:11:39 +0200
committerRobin Haberkorn <robin.haberkorn@googlemail.com>2012-05-12 15:11:39 +0200
commit7489465ed046ef29a34a9cecaf262bdd2c40c3f4 (patch)
treef71e1773b954f43e4c6ff5ee80a22c26ee7e572c
parent8ca7a1c86b2ca25c5cfe4901da9740a9cc9a756d (diff)
downloadexperiment-player-7489465ed046ef29a34a9cecaf262bdd2c40c3f4.tar.gz
ensure that doxygen is executed always on make
the doxygen directory does not depend on any actual sourcefile or library, so it should be updated on every make to ensure it's up to date
-rw-r--r--doc/Makefile.am1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 422b87c..c4a732c 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -24,6 +24,7 @@ if BUILD_DOXYGEN
noinst_DATA = doxygen/
endif
+.PHONY: doxygen/
doxygen/ : Doxyfile
@DOXYGEN@ $<