diff options
| -rw-r--r-- | docs/Makefile | 1 | ||||
| -rwxr-xr-x | docs/convert_images.sh | 14 |
2 files changed, 9 insertions, 6 deletions
diff --git a/docs/Makefile b/docs/Makefile index b9c6d0f5a..674c605d8 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -57,6 +57,7 @@ htmlhelp: latex: mkdir -p .build/latex .build/doctrees $(SPHINXBUILD) -b latex $(ALLSPHINXOPTS) .build/latex + ./convert_images.sh @echo @echo "Build finished; the LaTeX files are in .build/latex." @echo "Run \`make all-pdf' or \`make all-ps' in that directory to" \ diff --git a/docs/convert_images.sh b/docs/convert_images.sh index 4ee1a119e..541394f49 100755 --- a/docs/convert_images.sh +++ b/docs/convert_images.sh @@ -1,9 +1,11 @@ TEXDIR=.build/latex -for img in $TEXDIR/*.png; -do - cp $img ${img}.BAK - convert $img -units PixelsPerInch -resample 300 -colorspace Gray ${img}.grey - mv ${img}.grey $img -done +if test ! -z $BOOK; then + for img in $TEXDIR/*.png; + do + cp $img ${img}.BAK + convert $img -units PixelsPerInch -resample 300 -colorspace Gray ${img}.grey + mv ${img}.grey $img + done +fi |