X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=doc%2FMakefile;fp=doc%2FMakefile;h=7e7a0b19ebbe4a25497683b2afe389a6e28a1bc6;hp=c28362ea980b3f916697486382ebe29879136f6b;hb=921a2913cc7d7d499b273ce24ce204272ecfa4e9;hpb=a48cbcb73041cf01ba4394c927e5db4361aeb3d8

diff --git a/doc/Makefile b/doc/Makefile
index c28362e..7e7a0b1 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,24 +1,10 @@
 DOCS := install manual
-
 CSS := style.css
 
-CP := cp
-DVIPDFMX := dvipdfmx
-GZIP := gzip
-INSTALL := install
-INSTALL-INFO := install-info
-MKDIR := mkdir
-RMR := rm -rf
-TEX := ptex
-TEXI2DVI := TEX=ptex texi2dvi
-TEX2DVI_FLAGS = -q --texinfo=@afourpaper
-
 prefix ?= ~
 infodir ?= $(prefix)/share/info
 
-.PHONY: base all info html htmls pdf install-info uninstall-info clean textmp-clean
-
-.INTERMEDIATE: *.dvi
+.PHONY: base all info html htmls pdf distclean clean
 
 base: install.txt info html
 
@@ -35,34 +21,10 @@ pdf: $(addsuffix .pdf,$(DOCS))
 yacasl2.info: manual.texi
 	$(MAKEINFO) $(MAKEINFO_FLAGS) $<
 
-$(addsuffix .html,$(DOCS)) $(addsuffix _html,$(DOCS)): $(CSS)
-
-%.html: %.texi
-	$(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<
-
-%_html: %.texi
-	if test ! -e $@; then $(MKDIR) $@; fi
-	$(CP) $(CSS) $@/
-	$(MAKEINFO) -o $@ --html --css-ref=$(CSS) $<
-
-%.pdf: %.dvi
-	$(DVIPDFMX) $<
-
-%.txt: %.texi
-	$(MAKEINFO) --no-headers --disable-encoding -o $@ $<
-
-install-info: yacasl2.info
-	$(INSTALL) -d $(infodir)
-	$(INSTALL) $< $(infodir)/
-	$(INSTALL-INFO) $(infodir)/$< $(infodir)/dir
-	$(GZIP) -f $(infodir)/$<
+distclean: texinfo-distclean
 
-uninstall-info:
-	$(INSTALL-INFO) --delete $(infodir)/yacasl2.info $(infodir)/dir
-	$(RM) $(infodir)/yacasl2.info
+clean: texinfo-clean
 
-clean: textmp-clean
-	@$(RMR) *_html *.info *.html *.pdf  *.dvi *.txt
+include texinfo.mk
 
-textmp-clean:
-	@$(RM) *.aux *.cp *.cps *.fn *.ky *.log *.pg *.pgs *.tmp *.toc *.tp *.vr
+include install-info.mk