X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=Makefile;h=19f9a2c06900c5835fae6d256ff91d83437dbdc3;hp=620a9ecd91353b6aab6484e409f6adef8fc23bc7;hb=f8bac60ca108ab3d7729c0254ff80819e6d8c121;hpb=538175be35df96c8858f384d0001c35701f5e666

diff --git a/Makefile b/Makefile
index 620a9ec..19f9a2c 100644
--- a/Makefile
+++ b/Makefile
@@ -31,6 +31,7 @@ include $(DEPS)
 debug: CPPFLAGS += -DCONFIG_DEBUG
 debug: all
 
+PHONY += docs
 docs: *.c *.cc *.h
 	doxygen