diff options
Diffstat (limited to 'project')
| -rw-r--r-- | project/infodoc.mk | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/project/infodoc.mk b/project/infodoc.mk index 7887163..197d783 100644 --- a/project/infodoc.mk +++ b/project/infodoc.mk @@ -10,8 +10,11 @@ INFO_GEN_DOCS = \ info/automake-history.info \ -info/%.info: $(SOURCE_DIR)/doc/%.texi host.tag tree.tag - $(MAKEINFO) $< -o $@ +info/automake.info: $(SOURCE_DIR)/doc/automake.texi host.tag tree.tag + $(MAKEINFO) $(SOURCE_DIR)/doc/automake.texi -o $@ + +info/automake-history.info: $(SOURCE_DIR)/doc/automake-history.texi host.tag tree.tag + $(MAKEINFO) $(SOURCE_DIR)/doc/automake-history.texi -o $@ all-info-docs: info/automake.info info/automake-history.info |