X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2FMakefile;h=c118e45a59ff14103375b6ce2f27706407bd449a;hb=9f3a6f1ba1a71d44e77e75c74a9b03b6db903d62;hp=59511eb7e951c6fbf53b21e813a990e8b2d53159;hpb=8fbd22aa630841dcf5457cd7a6b2a2e44f5ab2fe;p=YACASL2.git

diff --git a/doc/Makefile b/doc/Makefile
index 59511eb..c118e45 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,5 +1,80 @@
-.PHPNY: html clean
-html: yacasl2.texi
-	@makeinfo --html --css-ref=style.css $^
-clean:
-	@rm -rf yacasl2
+MANUAL = manual
+INSTALLDOC = install
+MANUALSRC = $(MANUAL).texi
+MANUALINFO = yacasl2.info
+INSTALLDOCSRC = $(INSTALLDOC).texi
+CSS = style.css
+MANUALHTMLDIR = manual_html
+
+MV ?= mv
+CP ?= cp
+MKDIR ?= mkdir
+RMRF ?= rm -rf
+PTEX ?= ptex
+TEXI2DVI ?= texi2dvi
+DVI2PDF ?= dvipdfmx
+MAKEINFO ?= gmakeinfo
+INSTALL ?= install
+INSTALL-INFO ?= ginstall-info
+GZIP = gzip
+
+prefix ?= ~
+infodir ?= $(prefix)/share/info
+
+.PHONY: all info html install-info uninstall-info clean clean-manual clean-installdoc clean-textmp
+
+.INTERMEDIATE: $(MANUAL).dvi
+
+all: info html $(MANUAL).pdf ../INSTALL
+
+info: $(MANUALINFO)
+
+$(MANUALINFO): $(MANUALSRC)
+	$(MAKEINFO) -o $(MANUALINFO) $(MANUALSRC)
+
+html: $(MANUAL).html $(MANUALHTMLDIR) $(INSTALLDOC).html
+
+$(MANUAL).html: $(MANUALSRC) $(CSS)
+	$(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<
+
+$(MANUALHTMLDIR): $(MANUALSRC) $(CSS)
+	$(INSTALL) -d $@
+	$(INSTALL) $(CSS) $@/
+	$(MAKEINFO) -o $@ --html --css-ref=$(CSS) $<
+
+$(MANUAL).pdf: $(MANUAL).dvi
+	$(DVI2PDF) $<
+
+$(MANUAL).dvi: $(MANUALSRC)
+	TEX=$(PTEX) $(TEXI2DVI) -q --texinfo=@afourpaper -o $@ $<
+	@$(MAKE) clean-textmp
+
+$(MANUAL).txt: $(MANUALSRC)
+	$(MAKEINFO) --no-headers --disable-encoding -o $@ $(MANUALSRC)
+
+install-info: $(MANUAL).info
+	$(INSTALL) -d $(infodir)
+	$(INSTALL) $(MANUALINFO) $(infodir)/
+	$(INSTALL-INFO) $(infodir)/$(MANUALINFO) $(infodir)/dir
+	$(GZIP) -f $(infodir)/$(MANUALINFO)
+
+uninstall-info: $(MANUAL).info
+	$(INSTALL-INFO) --delete $(infodir)/$(MANUAL) $(infodir)/dir
+	$(RM) $(infodir)/$(MANUAL)*
+
+$(INSTALLDOC).html: $(INSTALLDOCSRC) $(CSS)
+	$(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<
+
+../INSTALL: $(INSTALLDOCSRC)
+	$(MAKEINFO) -o $@ --no-headers --disable-encoding $<
+
+clean: clean-manual clean-installdoc clean-textmp
+
+clean-manual:
+	@$(RMRF) html $(MANUALHTMLDIR) $(MANUAL).info $(MANUAL).pdf $(MANUAL).html $(MANUAL).txt 
+
+clean-textmp:
+	@$(RMRF) $(MANUAL).aux $(MANUAL).cp $(MANUAL).cps $(MANUAL).fn $(MANUAL).ky $(MANUAL).log $(MANUAL).pg $(MANUAL).pgs $(MANUAL).tmp $(MANUAL).toc $(MANUAL).tp $(MANUAL).vr
+
+clean-installdoc:
+	@$(RMRF) install.html ../INSTALL