diff --git a/paper/.gitignore b/paper/.gitignore index 945e00e..97f6509 100644 --- a/paper/.gitignore +++ b/paper/.gitignore @@ -10,3 +10,4 @@ *.pdf *.run.xml *.synctex.gz +version.txt diff --git a/paper/Makefile b/paper/Makefile index fac3fe4..864e300 100644 --- a/paper/Makefile +++ b/paper/Makefile @@ -6,4 +6,4 @@ paper.pdf: paper.tex $(wildcard *.tikz) latexmk -pdf clean: - xargs -I '{}' bash -c "rm -f {}" < .gitignore + grep -v version.txt .gitignore |xargs -I '{}' bash -c "rm -f {}"