From 9228cbbd1e0e88e23c73b0caca4587aed5dd9c91 Mon Sep 17 00:00:00 2001 From: Patrick Pelletier Date: Sun, 25 Sep 2011 18:40:52 -0700 Subject: [PATCH] don't delete doc/crypt.pdf in "make clean" "make clean" was deleting "doc/*.pdf", despite the fact that there were two comments (one above and one below) stating that it did not. Since doc/crypt.pdf is checked into git, running "make clean" made my git state dirty, which seems undesirable. I took sort of a compromise position and had "make clean" continue to delete any other .pdf files in doc (such as refman.pdf), but explicitly not delete crypt.pdf. --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefile b/makefile index 70316a4..53f80f4 100644 --- a/makefile +++ b/makefile @@ -345,7 +345,7 @@ clean: rm -f crypt.aux crypt.dvi crypt.idx crypt.ilg crypt.ind crypt.log crypt.toc rm -f $(TV) $(PROF) $(SMALL) $(CRYPT) $(HASHSUM) $(MULTI) $(TIMING) $(TEST) rm -rf doc/doxygen - rm -f doc/*.pdf + rm -f `find . -type f -name "*.pdf" | grep -FL crypt.pdf | xargs` rm -f *.txt #build the doxy files (requires Doxygen, tetex and patience)