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

[model-checker.git] / Makefile

diff --git a/Makefile b/Makefile
index fbbc3a1c39419b5fe7527976cfb2966389d338d9..b65830fa2ce0e222d04163c563ec33676aa997b6 100644 (file)
--- 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)