diff options
Diffstat (limited to '')
-rw-r--r-- | doc/project.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/project.am b/doc/project.am index 0d1e03c6c6..4ab87ebb59 100644 --- a/doc/project.am +++ b/doc/project.am @@ -35,8 +35,11 @@ if TEXI2PDF MAKEINFO='$(MAKEINFO) -I $(srcdir)' $(TEXI2PDF) $< endif +$(PROJECT).pdf: $(PROJECT).texi $($(PROJECT)_TEXINFOS) $(PDF_IMAGES) CLEANFILES += $(PROJECT).pdf +MOSTLYCLEANFILES += $(PDF_IMAGES) + ## HTML SUFFIXES += .html |