From a783d834a4f5922ffbb959b36a4b39d337609cb5 Mon Sep 17 00:00:00 2001 From: jessexknight Date: Wed, 24 Nov 2021 09:46:08 -0500 Subject: [PATCH] update makefile --- docs/api/makefile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/docs/api/makefile b/docs/api/makefile index c8a501f..9a1e13e 100644 --- a/docs/api/makefile +++ b/docs/api/makefile @@ -1,9 +1,12 @@ full: - pdflatex main ; for aux in *.aux; do bibtex $$aux; done ; pdflatex main + make tex ; make bib ; make tex ; make tex -simple: +tex: pdflatex main +bib: + for aux in *.aux; do bibtex $$aux; done + cover: cd cl && pdflatex cover