X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Makefile;h=b65830fa2ce0e222d04163c563ec33676aa997b6;hb=583f164ae7fe3d5abefe77b9d10cfb5f1be45569;hp=fbbc3a1c39419b5fe7527976cfb2966389d338d9;hpb=8b76d39eff3f6e27d416123292641ae36f88ca06;p=model-checker.git

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)