From 002fff95c6361b2f6f5d1c6aa3acf306edcfda46 Mon Sep 17 00:00:00 2001 From: Axel Kohlmeyer Date: Tue, 11 Feb 2020 11:07:55 +0100 Subject: [PATCH] copy large target image files only once --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index 2b2dedfb61..7fba611361 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -79,7 +79,7 @@ html: $(ANCHORCHECK) @cp -r src/PDF html/PDF @cp -r src/USER html/USER @mkdir -p html/JPG - @cp -v `grep -A2 '\.\. image::' src/*.rst | grep ':target:' | sed -e 's,.*:target: JPG/,src/JPG/,'` html/JPG/ + @cp `grep -A2 '\.\. image::' src/*.rst | grep ':target:' | sed -e 's,.*:target: JPG/,src/JPG/,' | sort | uniq` html/JPG/ @rm -rf html/PDF/.[sg]* @rm -rf html/USER/.[sg]* @rm -rf html/USER/*/.[sg]*