X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=doc%2FMakefile;h=ac78fc305437d648becf75e1fd9fc1f37644d27a;hp=200853981fed2ac7a1e5e206b608fdbe1c4e56ab;hb=33d5f89bc9adc2e46407182f6bfa8032b87ad245;hpb=bdbb4708c0434ef7085486c381902f69fbbaf110

diff --git a/doc/Makefile b/doc/Makefile
index 2008539..ac78fc3 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,42 +1,82 @@
-DOCNAME = yacasl2
-SRC = $(DOCNAME).texi
+MANUAL = manual
+INSTALLDOC = install
+CASL2SPEC = casl2_spec
+MANUAL_SYSINFO = yacasl2.info
 CSS = style.css
 
-PTEX = ptex
-TEXI2DVI = texi2dvi
-DVI2PDF = dvipdfmx
-MAKEINFO = makeinfo
+MV ?= mv
+CP ?= cp
+MKDIR ?= mkdir
+RMF = rm -f
+RMRF ?= rm -rf
+PTEX ?= ptex
+TEXI2DVI ?= texi2dvi
+DVI2PDF ?= dvipdfmx
+MAKEINFO ?= gmakeinfo
+INSTALL ?= install
+INSTALL-INFO ?= ginstall-info
+GZIP = gzip
+SED = sed
 
-.PHONY: all htmlnosplit pdf clean
+prefix ?= ~
+infodir ?= $(prefix)/share/info
 
-.INTERMEDIATE: $(DOCNAME).dvi
+.PHONY: all info html htmls pdf install-info uninstall-info clean clean-textmp
 
-doc: info htmlnosplit html pdf
+.INTERMEDIATE: *.dvi
 
-htmlnosplit: $(DOCNAME).html
+base: ../INSTALL $(MANUAL_SYSINFO) $(MANUAL).html
 
-html: $(SRC) $(CSS)
-	@if test ! -s $@; then mkdir $@; fi;
-	@cp $(CSS) $@/$(CSS)
-	@$(MAKEINFO) -o $@ --html --css-ref=style.css $(SRC)
+all: info html htmls pdf ../INSTALL $(MANUAL_SYSINFO)
 
-pdf: $(DOCNAME).pdf
+info: $(MANUAL_SYSINFO) $(INSTALLDOC).info
 
-info: $(DOCNAME).info
+html: $(MANUAL).html $(INSTALLDOC).html
 
-$(DOCNAME).info: $(SRC)
-	@$(MAKEINFO) -o $@ $^
+htmls: $(MANUAL)_html
 
-$(DOCNAME).html: $(SRC) $(CSS)
-	@$(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $(SRC)
+pdf: $(INSTALLDOC).pdf $(MANUAL).pdf
 
-$(DOCNAME).pdf: $(DOCNAME).dvi
-	@$(DVI2PDF) $^
+$(MANUAL_SYSINFO): $(MANUAL).info
+	$(CP) $< $@
+	$(SED) -i -e "s/@setfilename manual/@setfilename $(MANUAL_SYSINFO)/" $@
 
-$(DOCNAME).dvi: $(SRC)
-	@TEX=$(PTEX) $(TEXI2DVI) -q --texinfo=@afourpaper -o $@ $<
-	@rm -rf $(DOCNAME).aux $(DOCNAME).cp $(DOCNAME).cps $(DOCNAME).fn $(DOCNAME).ky $(DOCNAME).log $(DOCNAME).pg $(DOCNAME).pgs $(DOCNAME).tmp $(DOCNAME).toc $(DOCNAME).tp $(DOCNAME).vr
+%.html: %.texi $(CSS)
+	$(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<
 
-clean:
-	@rm -rf html $(DOCNAME).info $(DOCNAME).pdf $(DOCNAME).html $(DOCNAME).dvi
-	@rm -rf $(DOCNAME).aux $(DOCNAME).cp $(DOCNAME).cps $(DOCNAME).fn $(DOCNAME).ky $(DOCNAME).log $(DOCNAME).pg $(DOCNAME).pgs $(DOCNAME).tmp $(DOCNAME).toc $(DOCNAME).tp $(DOCNAME).vr
+%_html: %.texi $(CSS)
+	$(INSTALL) -d $@
+	$(INSTALL) $(CSS) $@/
+	$(MAKEINFO) -o $@ --html --css-ref=$(CSS) $<
+
+%.pdf: %.dvi
+	$(DVI2PDF) $<
+
+%.dvi: %.texi
+	TEX=$(PTEX) $(TEXI2DVI) -q --texinfo=@afourpaper -o $@ $<
+	@$(MAKE) clean-textmp
+
+%.txt: %.texi
+	$(MAKEINFO) --no-headers --disable-encoding -o $@ $<
+
+install-info: $(MANUAL_SYSINFO)
+	$(INSTALL) -d $(infodir)
+	$(INSTALL) $(MANUAL_SYSINFO) $(infodir)/
+	$(INSTALL-INFO) $(infodir)/$(MANUAL_SYSINFO) $(infodir)/dir
+	$(GZIP) -f $(infodir)/$(MANUAL_SYSINFO)
+
+uninstall-info: $(MANUAL).info
+	$(INSTALL-INFO) --delete $(infodir)/$(MANUAL_SYSINFO) $(infodir)/dir
+	$(RMF) $(infodir)/$(MANUAL_SYSINFO)*
+
+$(INSTALLDOC).html: $(INSTALLDOC).texi $(CSS)
+	$(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<
+
+../INSTALL: $(INSTALLDOC).txt
+	$(CP) $< $@
+
+clean: clean-textmp
+	@$(RMRF) *_html *.info *.html *.pdf  *.dvi *.txt
+
+clean-textmp:
+	@$(RMF) *.aux *.cp *.cps *.fn *.ky *.log *.pg *.pgs *.tmp *.toc *.tp *.vr