Makefile 801 Bytes
Newer Older
1
2
PDFIMAGES = $(shell ls *.pdf)
PNGIMAGES = ${PDFIMAGES:.pdf=.png}
3
HUGEIMAGES = $(shell find . -maxdepth 1 -name "*.pdf"  -size +1000k)
4
5
6
7
8
ORIGIMAGES = ${HUGEIMAGES:.pdf=.pdf-orig}

PNGCONV = gm convert -density 600 -resample 50 -trim -antialias -quality 9 -filter Cubic

all: $(ORIGIMAGES) $(PNGIMAGES)
9
10
	sphinx-build -E -b html . build

11
12
13
14
15
16
17
18
%.pdf-orig: %.pdf
	cp $< $@ 
	gm mogrify -resize 600 -trim -antialias -filter Cubic $<

%.png: %.pdf
	test -d $<-orig && $(PNGCONV) $<-orig $@  || true
	test -d $<-orig || $(PNGCONV) $< $@ || true

19
20
21
latex:
	sphinx-build -E -b latex . build

22
23
24
25
test:
	OMP_NUM_THREADS=1 sphinx-build -b doctest . build

push:
Tiago Peixoto's avatar
Tiago Peixoto committed
26
	rsync -rEvpLz build/* root@skewed.de:/var/www/graph-tool-doc/
27
28
29
30

push-dev:
	rsync -rEvpLz build/* root@skewed.de:/var/www/graph-tool-doc/dev/

31
32
33
clean:
	rm -rf build