From add0af11ad0fb8038c0509fcf985549a9a7d782f Mon Sep 17 00:00:00 2001
From: Andrew Noyes <andrew@weaselab.dev>
Date: Tue, 25 Jun 2024 19:21:14 -0700
Subject: [PATCH] Don't check paper/version.txt into version control

But also don't remove it in `make -C paper clean`
---
 paper/.gitignore | 1 +
 paper/Makefile   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

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 {}"