From 486c10e85421602cd17c799091bc785436e9d3a8 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sun, 12 Jun 2016 17:35:25 +0900
Subject: [PATCH] more clean

---
 lib/Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Makefile.in b/lib/Makefile.in
index 57da62f..f4d02df 100644
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -45,7 +45,7 @@ clean:
 	rm -f *~ *.log *.ilg *.out *.glo *.idx *.ilg *.blg 
 
 distclean: 	clean
-	rm -f *.aux *.ind *.gls *.ps *.dvi *.toc *.thm
+	rm -f *.aux *.ind *.gls *.ps *.dvi *.toc *.thm *.bbl *.bcf
 	rm -Rf auto	
 
 filedate: