diff options
author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-05-12 15:11:39 +0200 |
---|---|---|
committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-05-12 15:11:39 +0200 |
commit | 7489465ed046ef29a34a9cecaf262bdd2c40c3f4 (patch) | |
tree | f71e1773b954f43e4c6ff5ee80a22c26ee7e572c | |
parent | 8ca7a1c86b2ca25c5cfe4901da9740a9cc9a756d (diff) | |
download | gtk-vlc-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.am | 1 |
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@ $< |