diff options
Diffstat (limited to 'docs/docbook/Makefile.in')
| -rw-r--r-- | docs/docbook/Makefile.in | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/docs/docbook/Makefile.in b/docs/docbook/Makefile.in index 7169cc90c4..030729cec4 100644 --- a/docs/docbook/Makefile.in +++ b/docs/docbook/Makefile.in @@ -126,18 +126,18 @@ $(TXTDIR)/%.txt: %.xml # Adobe PDF files $(PDFDIR)/%.pdf: %.tex - $(PDFLATEX) $< - $(PDFLATEX) $< - $(PDFLATEX) $< + -$(PDFLATEX) $< + -$(PDFLATEX) $< + -$(PDFLATEX) $< mv $(patsubst %.tex,%.pdf,$<) $@ epsimages: $(PROJDOC_IMAGES_EPS) # DVI files $(DVIDIR)/%.dvi: %.tex epsimages - $(LATEX) $< - $(LATEX) $< - $(LATEX) $< + -$(LATEX) $< + -$(LATEX) $< + -$(LATEX) $< mv $(patsubst %.tex,%.dvi,$<) $@ %.eps: %.png |