Fix ignores and make clean

2021-03-11 13:06:10 +01:00
1 parent 11eaf5b33b
commit 15251428a8
@@ -11,7 +11,9 @@ all: graphs/citations.svg graphs/sok.svg

 clean:
 	rm -f graphs/*.dot
+	rm -f graphs/*.pdf
 	rm -f graphs/*.svg
+	rm -f graphs/*.tex

 .dot.pdf:
 	$(DOT) -Tpdf -o$*.pdf $<