18 IMAGES_PNG = ${IMAGES_EPS:.eps=.png} |
18 IMAGES_PNG = ${IMAGES_EPS:.eps=.png} |
19 IMAGES_PDF = ${IMAGES_EPS:.eps=.pdf} |
19 IMAGES_PDF = ${IMAGES_EPS:.eps=.pdf} |
20 |
20 |
21 IMAGES = $(IMAGES_EPS) $(IMAGES_PNG) $(IMAGES_PDF) |
21 IMAGES = $(IMAGES_EPS) $(IMAGES_PNG) $(IMAGES_PDF) |
22 |
22 |
|
23 RESCALE = $(shell hg root)/utils/rescale-pdf.sh |
|
24 |
23 %.eps : %.dia; $(DIA) -t eps $< -e $@ |
25 %.eps : %.dia; $(DIA) -t eps $< -e $@ |
24 %.png : %.dia; $(DIA) -t png $< -e $@ |
26 %.png : %.dia; $(DIA) -t png $< -e $@ |
25 %.png : %.eps; $(CONVERT) $< $@ |
27 %.png : %.eps; $(CONVERT) $< $@ |
26 %.pdf : %.eps |
28 %.pdf : %.eps |
27 $(EPSTOPDF) $< -o=$@ |
29 $(EPSTOPDF) $< -o=$@ |
28 if test x$($@_width) != x; then ./rescale-pdf.sh $($@_width) $@ ; fi |
30 @if test x$($@_width) != x; then $(RESCALE) $($@_width) $@ ; fi |
29 |
31 |
30 GRAPHS_PNG = ${GRAPHS_EPS:.eps=.png} |
32 GRAPHS_PNG = ${GRAPHS_EPS:.eps=.png} |
31 GRAPHS_PDF = ${GRAPHS_EPS:.eps=.pdf} |
33 GRAPHS_PDF = ${GRAPHS_EPS:.eps=.pdf} |
32 |
34 |
33 GRAPHS = $(GRAPHS_EPS) $(GRAPHS_PNG) $(GRAPHS_PDF) |
35 GRAPHS = $(GRAPHS_EPS) $(GRAPHS_PNG) $(GRAPHS_PDF) |
34 |
36 |
35 %.png : %.eps; $(CONVERT) $< $@ |
37 %.png : %.eps; $(CONVERT) $< $@ |
36 %.pdf : %.eps |
38 %.pdf : %.eps |
37 $(EPSTOPDF) $< -o=$@ |
39 $(EPSTOPDF) $< -o=$@ |
38 if test x$($@_width) != x; then ./rescale-pdf.sh $($@_width) $@ ; fi |
40 @if test x$($@_width) != x; then $(RESCALE) $($@_width) $@ ; fi |
39 |
41 |
40 # You can set these variables from the command line. |
42 # You can set these variables from the command line. |
41 SPHINXOPTS = |
43 SPHINXOPTS = |
42 SPHINXBUILD = sphinx-build |
44 SPHINXBUILD = sphinx-build |
43 PAPER = |
45 PAPER = |