From 1f7c7f30d387ae5f86b294e198667cd88078fe44 Mon Sep 17 00:00:00 2001 From: Roberto Di Cosmo Date: Mon, 14 Feb 2022 10:45:07 +0100 Subject: [PATCH] Fix makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 8973d9a..60856fe 100644 --- a/Makefile +++ b/Makefile @@ -5,7 +5,7 @@ all: $(PDFS) main-bibtex.pdf main-bibtex.pdf: main-bibtex.tex pdflatex $< - bibtex $< + bibtex main-bibtex pdflatex $< pdflatex $<