From 4923c8adf74f7b020eb06b40b87563aef5d91be1 Mon Sep 17 00:00:00 2001 From: Sergey Goncharov Date: Mon, 15 Apr 2024 19:23:33 +0200 Subject: [PATCH] tick --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 670690b..b4f475a 100644 --- a/Makefile +++ b/Makefile @@ -112,6 +112,7 @@ edit: $(SRCNAMES) @echo Compiling $@ ($(PDF) $(@:.pdf=.tex)) || (touch --date="`date -R -r $(@:.pdf=.tex)`" $@ & grep "Warning" $(@:.pdf=.log)) + @echo Recompile tikz images @if [ -s $(@:.pdf=.makefile) ]; \ then \