From 1a6b26e8a4e8e1ef7ba7ef8cc2e917bd88751331 Mon Sep 17 00:00:00 2001 From: Sergey Goncharov Date: Mon, 15 Apr 2024 17:29:06 +0200 Subject: [PATCH] removing the line I do not understan --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) ]; \