diff options
Diffstat (limited to 'Documentation/pictures')
| -rw-r--r-- | Documentation/pictures/GNUmakefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Documentation/pictures/GNUmakefile b/Documentation/pictures/GNUmakefile index 131de3e323..ef72775059 100644 --- a/Documentation/pictures/GNUmakefile +++ b/Documentation/pictures/GNUmakefile @@ -19,7 +19,7 @@ include $(depth)/make/stepmake.make default: ifeq ($(out),www) -local-WWW-1: $(OUT_BITMAP_IMAGES) $(OUT_PDF_IMAGES) +local-WWW-1: $(OUT_BITMAP_IMAGES) $(OUT_PDF_IMAGES) $(outdir)/pdf endif ######### @@ -43,3 +43,5 @@ $(outdir)/%.png: %.eps $(outdir)/%.pdf: %.eps gs -dAutoRotatePages=/None -q -sDEVICE=pdfwrite -dNOPAUSE -dBATCH -sOutputFile=$@ -dEPSCrop -c .setpdfwrite -f $< +$(outdir)/pdf: + ln -sf $(top-src-dir)/Documentation/pictures/pdf $@ |