This commit is contained in:
2015-01-28 22:51:52 +01:00
parent 55806ad797
commit a137ba8bfa
42 changed files with 23915 additions and 0 deletions

View File

@@ -0,0 +1,29 @@
.PHONY: all info-only doc clean realclean distclean fullclean install
.PRECIOUS: %.info %.html
DEFS = $(shell test -f ../Makefile.defs && echo ../Makefile.defs \
|| echo ../Makefile.defs.default)
include $(DEFS)
all: doc
%.info: %.texi
makeinfo $<
%.html: %.texi
makeinfo --html --no-split $<
info-only: $(MANUAL).info
doc: $(MANUAL).info $(MANUAL).html
clean: ;
distclean realclean fullclean: clean
-rm -f $(MANUAL).info $(MANUAL).html
install: $(MANUAL).info
[ -d $(INFODIR) ] || install -d $(INFODIR)
install -m 0644 $(MANUAL).info $(INFODIR)/$(MANUAL)
$(call install_info,$(MANUAL))