From 291054fc7b4a5a69ce8c87deaf3d835cb3334584 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Wed, 6 Feb 2013 14:00:05 -0800
Subject: [PATCH] Makefile / git: cleanup generated .dot and .pdf files

---
 .gitignore | 1 +
 Makefile   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.34.1