diff options
| -rw-r--r-- | doc/project.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/project.am b/doc/project.am index 0f471dfb68..8b5a335cc2 100644 --- a/doc/project.am +++ b/doc/project.am @@ -51,7 +51,7 @@ html_project_DATA += $(PROJECT)/*.html $(PROJECT)/*.html: $(PROJECT).texi $($(PROJECT)_TEXINFOS) rm -rf $(PROJECT).html if USE_TEXI2HTML - $(TEXI2HTML) $(TEXI2HTML_ARGS) --menu $< $< + $(TEXI2HTML) $(TEXI2HTML_ARGS) --menu $< endif # USE_TEXI2HTML if USE_TEXI2ANY $(TEXI2ANY) $(TEXI2ANY_ARGS) $< |