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 $<