From: Brian Norris <banorris@uci.edu>
Date: Wed, 6 Feb 2013 22:00:05 +0000 (-0800)
Subject: Makefile / git: cleanup generated .dot and .pdf files
X-Git-Tag: oopsla2013~280
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=291054fc7b4a5a69ce8c87deaf3d835cb3334584;p=model-checker.git

Makefile / git: cleanup generated .dot and .pdf files
---

diff --git a/.gitignore b/.gitignore
index d7ca89a..4acd010 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,7 @@
 *~
 *.dot
 .*.d
+*.pdf
 
 # files in this directory
 /tags
diff --git a/Makefile b/Makefile
index ee08b5c..ea73d93 100644
--- a/Makefile
+++ b/Makefile
@@ -42,7 +42,7 @@ malloc.o: malloc.c
 
 PHONY += clean
 clean:
-	rm -f *.o *.so .*.d
+	rm -f *.o *.so .*.d *.pdf *.dot
 	$(MAKE) -C $(TESTS_DIR) clean
 
 PHONY += mrclean