From b83777b08681ee5b151f30e86fea3533ad56bc9f Mon Sep 17 00:00:00 2001
From: Christian Engwer <christi@dune-project.org>
Date: Wed, 13 May 2009 19:07:55 +0000
Subject: [PATCH] doxygen output depends on Doxyfile

[[Imported from SVN: r5524]]
---
 am/doxygen | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/am/doxygen b/am/doxygen
index 81987c982..12a02248c 100644
--- a/am/doxygen
+++ b/am/doxygen
@@ -46,7 +46,7 @@ uninstall-local: uninstall-doxygen-data
 endif
 
 # what files does the doxygen-generated stuff depend on (find-syntax)
-DOXYGEN_DEPENDON = -name \*.cc -o -name \*.hh -o -name \*.png
+DOXYGEN_DEPENDON = -name \*.cc -o -name \*.hh -o -name \*.png -o -name Doxyfile
 
 # as all doxygen files fill be installed in the html subdirectory
 # the BASEDIR has to be adjusted
@@ -54,7 +54,7 @@ doxy-header.html: BASEDIR:=$(BASEDIR)/..
 doxy-header.html:
 
 # check dependency ourself to be robust
-doxygen-tag: FORCE $(DOXYGENHEADER)
+doxygen-tag: FORCE Doxyfile $(DOXYGENHEADER)
 	set -e; \
 	  if test ! -e doxygen-tag || test x"`find $(top_srcdir) \( $(DOXYGEN_DEPENDON) \) -a -cnewer doxygen-tag -print`" != x ; then \
 	    echo Running doxygen. This may take a while... ; \
-- 
GitLab