diff options
Diffstat (limited to 'project/infodoc.mk')
-rw-r--r-- | project/infodoc.mk | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/project/infodoc.mk b/project/infodoc.mk new file mode 100644 index 0000000..7887163 --- /dev/null +++ b/project/infodoc.mk @@ -0,0 +1,21 @@ +# infodoc.mk: rules for texinfo document generation. +# this file is covered by COPYING.BAUTOMAKE. + +AUTOMAKE_DEST_INFO_DIR = $(DESTDIR)$(DATADIR)/info + +INFO_GEN_DOCS = \ + info/automake.info \ + info/automake.info-1 \ + info/automake.info-2 \ + info/automake-history.info \ + + +info/%.info: $(SOURCE_DIR)/doc/%.texi host.tag tree.tag + $(MAKEINFO) $< -o $@ + + +all-info-docs: info/automake.info info/automake-history.info + +install-info-docs: all-info-docs + mkdir -p $(AUTOMAKE_DEST_INFO_DIR) + cp -p $(INFO_GEN_DOCS) $(AUTOMAKE_DEST_INFO_DIR) |