From c256f2331fa36db61555b41ec6ab28da6437c4b7 Mon Sep 17 00:00:00 2001 From: Richard Berger Date: Tue, 25 Aug 2020 16:59:39 -0400 Subject: [PATCH] JPG folder is no longer needed in HTML output --- doc/Makefile | 2 -- 1 file changed, 2 deletions(-) diff --git a/doc/Makefile b/doc/Makefile index 7931525b92..49ad98775d 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -103,8 +103,6 @@ html: xmlgen $(SPHINXCONFIG)/conf.py $(ANCHORCHECK) $(MATHJAX) $(POLYFILL) @rm -rf html/USER @rm -rf html/JPG @cp -r src/PDF html/PDF - @mkdir -p html/JPG - @cp `grep -A2 '\.\. .*\(image\|figure\)::' src/*.rst | grep ':target: JPG' | sed -e 's,.*:target: JPG/,src/JPG/,' | sort | uniq` html/JPG/ @rm -rf html/PDF/.[sg]* @echo "Build finished. The HTML pages are in doc/html."