texi/Makefile

   1 .PHONY: all info-only doc clean realclean distclean fullclean install
   2 .PRECIOUS: %.info %.html
   3
   4 include ../Makefile.defs
   5
   6 all: doc
   7
   8 %.info: %.texi
   9         makeinfo $<
  10
  11 %.html: %.texi
  12         makeinfo --html --no-split $<
  13
  14 info-only: $(MANUAL).info
  15
  16 doc: $(MANUAL).info $(MANUAL).html
  17
  18 clean: ;
  19
  20 distclean realclean fullclean: clean
  21         -rm -f $(MANUAL).info $(MANUAL).html
  22
  23 install: $(MANUAL).info
  24         [ -d $(INFODIR) ] || install -d $(INFODIR)
  25         install -m 0644 $(MANUAL).info $(INFODIR)/$(MANUAL)
  26         $(INSTALLINFO) $(INFODIR)/$(MANUAL)