doc/Makefile

   1 DOCS := install manual
   2
   3 CSS := style.css
   4
   5 CP := cp
   6 DVIPDFMX := dvipdfmx
   7 GZIP := gzip
   8 INSTALL := install
   9 INSTALL-INFO := install-info
  10 MKDIR := mkdir
  11 RMR := rm -rf
  12 TEX := ptex
  13 TEXI2DVI := TEX=ptex texi2dvi
  14 TEX2DVI_FLAGS = -q --texinfo=@afourpaper
  15
  16 prefix ?= ~
  17 infodir ?= $(prefix)/share/info
  18
  19 .PHONY: base all info html htmls pdf install-info uninstall-info clean textmp-clean
  20
  21 .INTERMEDIATE: *.dvi
  22
  23 base: install.txt info html
  24
  25 all: base htmls pdf
  26
  27 info: yacasl2.info
  28
  29 html: $(addsuffix .html,$(DOCS))
  30
  31 htmls: $(addsuffix _html,$(DOCS))
  32
  33 pdf: $(addsuffix .pdf,$(DOCS))
  34
  35 yacasl2.info: manual.texi
  36         $(MAKEINFO) $(MAKEINFO_FLAGS) $<
  37
  38 $(addsuffix .html,$(DOCS)) $(addsuffix _html,$(DOCS)): $(CSS)
  39
  40 %.html: %.texi
  41         $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<
  42
  43 %_html: %.texi
  44         if test ! -e $@; then $(MKDIR) $@; fi
  45         $(CP) $(CSS) $@/
  46         $(MAKEINFO) -o $@ --html --css-ref=$(CSS) $<
  47
  48 %.pdf: %.dvi
  49         $(DVIPDFMX) $<
  50
  51 %.txt: %.texi
  52         $(MAKEINFO) --no-headers --disable-encoding -o $@ $<
  53
  54 install-info: yacasl2.info
  55         $(INSTALL) -d $(infodir)
  56         $(INSTALL) $< $(infodir)/
  57         $(INSTALL-INFO) $(infodir)/$< $(infodir)/dir
  58         $(GZIP) -f $(infodir)/$<
  59
  60 uninstall-info:
  61         $(INSTALL-INFO) --delete $(infodir)/yacasl2.info $(infodir)/dir
  62         $(RM) $(infodir)/yacasl2.info
  63
  64 clean: textmp-clean
  65         @$(RMR) *_html *.info *.html *.pdf  *.dvi *.txt
  66
  67 textmp-clean:
  68         @$(RM) *.aux *.cp *.cps *.fn *.ky *.log *.pg *.pgs *.tmp *.toc *.tp *.vr