diff options
Diffstat (limited to 'doc/project.am')
| -rw-r--r-- | doc/project.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/project.am b/doc/project.am index 6a8778bfc5..623394856c 100644 --- a/doc/project.am +++ b/doc/project.am @@ -51,14 +51,14 @@ html_project_DATA += *.html >>>>>>> bdf959d... doc/project.am: Fix whitespace at EOL if USE_TEXI2HTML -index.html $(PROJECT)*.html: $(PROJECT).texi $($(PROJECT)_TEXINFOS) +index.html *.html: $(PROJECT).texi $($(PROJECT)_TEXINFOS) rm -rf $(PROJECT).html $(TEXI2HTML) $(TEXI2HTML_ARGS) --menu $< $< -rm -rf $(PROJECT) MOSTLYCLEANFILES += $(PROJECT)*.html -html_project_DATA += index.html $(PROJECT)*.html +html_project_DATA += *.html endif # USE_TEXI2HTML if USE_TEXI2ANY |