docのMakefileを汎用に変更

[YACASL2.git] / doc / texinfo.mk

diff --git a/doc/texinfo.mk b/doc/texinfo.mk
new file mode 100644 (file)
index 0000000..b0a5f01
--- /dev/null
+++ b/doc/texinfo.mk
@@ -0,0 +1,38 @@
+.PHONY: texinfo-distclean textmp-clean
+
+CP ?= cp
+DVIPDFMX := dvipdfmx
+INSTALL-INFO := install-info
+MKDIR := mkdir
+RMR := rm -rf
+TEX := ptex
+TEXI2DVI := TEX=$(TEX) texi2dvi
+
+DVIPDFMX_FLAGS ?=
+MAKEINFO_FLAGS ?=
+TEXI2DVI_FLAGS ?= -q --texinfo=@afourpaper
+
+%.info: %.texi
+       $(MAKEINFO) $(MAKEINFO_FLAGS) -o $@ $<
+
+%.html: %.texi $(CSS)
+       $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<
+
+%_html: %.texi $(CSS)
+       if test ! -e $@; then $(MKDIR) $@; fi
+       $(CP) $(CSS) $@/
+       $(MAKEINFO) -o $@ --html --css-ref=$(CSS) $<
+
+%.pdf: %.dvi
+       $(DVIPDFMX) $(DVIPDFMXFLAGS) $<
+
+%.txt: %.texi
+       $(MAKEINFO) --no-headers --disable-encoding -o $@ $<
+
+texinfo-distclean: textmp-clean
+       @$(RMR) *_html *.info *.html *.pdf  *.dvi *.txt
+
+texinfo-clean: textmp-clean
+
+textmp-clean:
+       @$(RM) *.aux *.cp *.cps *.fn *.ky *.log *.pg *.pgs *.tmp *.toc *.tp *.vr