From 8017a4ae82125200cee88b60bf87198e53f03b21 Mon Sep 17 00:00:00 2001
From: Jorrit Fahlke <joe@dune-project.org>
Date: Thu, 11 Jun 2009 15:31:43 +0000
Subject: [PATCH] also rerun Doxygen when da "modules" file has changed, as
 used for example by dune grid do seed the module hierachy

[[Imported from SVN: r5547]]
---
 am/doxygen | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/am/doxygen b/am/doxygen
index 74c59ba4c..b04fc8940 100644
--- a/am/doxygen
+++ b/am/doxygen
@@ -59,7 +59,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 -o -name Doxyfile
+DOXYGEN_DEPENDON = -name \*.cc -o -name \*.hh -o -name \*.png -o -name Doxyfile -o -name modules
 
 # check dependency ourself to be robust
 doxygen-tag: FORCE Doxyfile $(DOXYGENHEADER) $(DOXYGENFOOTER)
-- 
GitLab