summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--papers/LOCO-24/Makefile20
1 files changed, 20 insertions, 0 deletions
diff --git a/papers/LOCO-24/Makefile b/papers/LOCO-24/Makefile
new file mode 100644
index 0000000..cb5664f
--- /dev/null
+++ b/papers/LOCO-24/Makefile
@@ -0,0 +1,20 @@
+AUX ?= aux
+FILE ?= contents.latex
+FLAGS ?= -interaction=batchmode
+AUXFILE = $(AUX)/$(addsuffix ".aux", $(basename $(FILE)))
+TARGET = $(addsuffix ".pdf", $(basename $(FILE)))
+
+all: $(TARGET)
+
+$(TARGET): $(FILE)
+ mkdir -p $(AUX)
+ pdflatex $(FLAGS) -output-directory=$(AUX) $(FILE)
+ bibtex $(AUXFILE)
+ pdflatex $(FLAGS) -output-directory=$(AUX) $(FILE)
+ pdflatex $(FLAGS) -output-directory=$(AUX) $(FILE)
+ cp $(AUX)/$(TARGET) .
+
+clean:
+ rm -r $(TARGET) $(AUX)
+
+.PHONY: all clean