From: Brian Norris <banorris@uci.edu>
Date: Fri, 15 Jun 2012 05:51:30 +0000 (-0700)
Subject: Makefile: force `make docs' to depend on all source files
X-Git-Tag: pldi2013~391^2~15^2~3
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=583f164ae7fe3d5abefe77b9d10cfb5f1be45569;p=model-checker.git

Makefile: force `make docs' to depend on all source files

That way, if I change a file that might have documentation comments in it,
`make docs' will rerun doxygen.
---

diff --git a/Makefile b/Makefile
index fbbc3a1..b65830f 100644
--- a/Makefile
+++ b/Makefile
@@ -30,7 +30,7 @@ mac: LDFLAGS=-ldl
 mac: SHARED=-Wl,-undefined,dynamic_lookup -dynamiclib
 mac: all
 
-docs:
+docs: *.c *.cc *.h
 	doxygen
 
 $(BIN): $(USER_O) $(LIB_SO)