diff options
Diffstat (limited to '')
-rw-r--r-- | doc/project.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/project.am b/doc/project.am index 3bb32a5b8f..5265639606 100644 --- a/doc/project.am +++ b/doc/project.am @@ -90,7 +90,7 @@ if USE_DVI dvi_DATA += $(PROJECT).dvi .texi.dvi: - $(TEXI2DVI) -I $(srcdir) -I $(top_srcdir) $< + $(TEXI2DVI) -q -I $(srcdir) -I $(top_srcdir) $< if USE_PS ps_DATA += $(PROJECT).ps @@ -106,7 +106,8 @@ pdf_DATA += $(PROJECT).pdf if TEXI2PDF .texi.pdf: - $(TEXI2PDF) -I $(srcdir) -I $(top_srcdir) $< + rm -f *.aux *.cp *.fn *.ky *.pg *.tp *.toc *.vr + $(TEXI2PDF) -q -I $(srcdir) -I $(top_srcdir) $< endif endif |