diff --git a/Makefile b/Makefile index 7f21725..e376105 100644 --- a/Makefile +++ b/Makefile @@ -110,7 +110,7 @@ edit: $(SRCNAMES) %.pdf: $(TEXSRC) $(wildcard $(THISDIR)*.tex) $(BBLNAMES) @echo Compiling $@ - ($(PDF) $(@:.pdf=.tex) | grep -A 5 -B 5 ".*:[0-9]*:.*") || (touch --date="`date -R -r $(@:.pdf=.tex)`" $@ & grep "Warning" $(@:.pdf=.log)) + ($(PDF) $(@:.pdf=.tex)) || (touch --date="`date -R -r $(@:.pdf=.tex)`" $@ & grep "Warning" $(@:.pdf=.log)) @echo Recompile tikz images @if [ -s $(@:.pdf=.makefile) ]; \