Commit e88d4266 authored by Tiago Peixoto's avatar Tiago Peixoto
Browse files

doc Makefile fix: Do not modify pdf files in "build" directory

parent e3fe8159
PDFIMAGES = $(shell ls *.pdf) PDFIMAGES = $(shell ls *.pdf)
PNGIMAGES = ${PDFIMAGES:.pdf=.png} PNGIMAGES = ${PDFIMAGES:.pdf=.png}
HUGEIMAGES = $(shell find . -name "*.pdf" -size +1000k) HUGEIMAGES = $(shell find . -maxdepth 1 -name "*.pdf" -size +1000k)
ORIGIMAGES = ${HUGEIMAGES:.pdf=.pdf-orig} ORIGIMAGES = ${HUGEIMAGES:.pdf=.pdf-orig}
PNGCONV = gm convert -density 600 -resample 50 -trim -antialias -quality 9 -filter Cubic PNGCONV = gm convert -density 600 -resample 50 -trim -antialias -quality 9 -filter Cubic
...@@ -28,3 +28,6 @@ push: ...@@ -28,3 +28,6 @@ push:
push-dev: push-dev:
rsync -rEvpLz build/* root@skewed.de:/var/www/graph-tool-doc/dev/ rsync -rEvpLz build/* root@skewed.de:/var/www/graph-tool-doc/dev/
clean:
rm -rf build
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment