From 3176dc349396a2f05ba14587d1d488b4d23498f5 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Thu, 17 Nov 2016 12:49:46 +0100 Subject: [PATCH] update MAkefile <80ch --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index fd319ec..5732d03 100644 --- a/Makefile +++ b/Makefile @@ -13,7 +13,8 @@ all: $(DOC).pdf %.mlog: %.tex %.fmt $(TEXS) $(LATEX) $(LATEXFLAGS) $< - grep -q '^\\bibdata{' $(basename $<).aux && $(BIBTEX) $(basename $<) || true + grep -q '^\\bibdata{' $(basename $<).aux &&\ + $(BIBTEX) $(basename $<) || true $(LATEX) $(LATEXFLAGS) $< | tee $@ %.pdf: %.mlog -- 2.20.1