diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/docs/Makefile b/docs/Makefile index 8704ead718..2d3b3e8cc6 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -151,16 +151,16 @@ $(PDFDIR)/%.pdf: %.pdf @echo >> $@ @echo "\$$(HTMLDIR)/%: $*/%" >> $@ - @echo " mkdir -p \$$(@D)" >> $@ - @echo " cp \$$< \$$@" >> $@ + @echo " @mkdir -p \$$(@D)" >> $@ + @echo " @cp \$$< \$$@" >> $@ @echo >> $@ @echo "\$$(HTMLDIR)/$*/%: $*/%" >> $@ - @echo " mkdir -p \$$(@D)" >> $@ - @echo " cp \$$< \$$@" >> $@ + @echo " @mkdir -p \$$(@D)" >> $@ + @echo " @cp \$$< \$$@" >> $@ @echo >> $@ @echo "\$$(HTMLHELPDIR)/$*/%: $*/%" >> $@ - @echo " mkdir -p \$$(@D)" >> $@ - @echo " cp \$$< \$$@" >> $@ + @echo " @mkdir -p \$$(@D)" >> $@ + @echo " @cp \$$< \$$@" >> $@ @echo >> $@ @echo "$*-images-html-single: \$$(addprefix \$$(HTMLDIR)/, \$$($*-images-html))" >> $@ @echo "$*-images-html-chunks: \$$(addprefix \$$(HTMLDIR)/$*/, \$$($*-images-html))" >> $@ @@ -187,10 +187,10 @@ $(DVIDIR)/%.dvi: %.dvi -$(LATEX) $< %.eps: %.dia - $(DIA) -t eps-builtin -e $@ $< + @$(DIA) -t eps-builtin -e $@ $< %.png: %.dia - $(DIA) -e $@ $< + @$(DIA) -e $@ $< %.pdf: %.eps $(EPSTOPDF) $< |