From b98248e8dd31fb066646cd170b4d65631e08950e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timo=20Weing=C3=A4rtner?= <timo.weingaertner@fsmi.uka.de>
Date: Sun, 9 Nov 2014 19:38:51 +0000
Subject: [PATCH] pdf nicht wegputzen

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index bd9e115..390eb11 100644
--- a/Makefile
+++ b/Makefile
@@ -94,7 +94,7 @@ export LC_ALL		?= C
 #
 # If you list files or wildcards here, they will *not* be cleaned - default is
 # to allow everything to be cleaned.
-#neverclean		?= *.pdf
+neverclean		?= *.pdf
 #
 # A space-separated list of extra files to clean - you can specify this in the
 # .ini files. Make sure you escape them properly, if that's needed!