From 15251428a85973b9dda3e182efd238713c2ef9d5 Mon Sep 17 00:00:00 2001 From: Maximilian Blochberger Date: Thu, 11 Mar 2021 13:06:10 +0100 Subject: [PATCH] Fix ignores and `make clean` --- .gitignore | 2 ++ Makefile | 2 ++ 2 files changed, 4 insertions(+) diff --git a/.gitignore b/.gitignore index 5ec4696..42ad61a 100644 --- a/.gitignore +++ b/.gitignore @@ -7,7 +7,9 @@ dblp/*.gz dblp/*.md5 fixtures/*.json graphs/*.dot +graphs/*.pdf graphs/*.svg +graphs/*.tex # Python __pycache__ diff --git a/Makefile b/Makefile index a7bcf7c..a220ff9 100644 --- a/Makefile +++ b/Makefile @@ -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 $<