ドキュメントのヘッダーを修正

[YACASL2.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index e356989..a9f54de 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,5 +1,38 @@
-.PHPNY: html clean
-html: yacasl2.texi
-       @makeinfo --html $^
-clean:
-       @rm -rf yacasl2
+RMR := $(RM) -r
+SED := sed
+
+DOCS := install manual
+CSS := style.css
+
+prefix ?= ~
+infodir ?= $(prefix)/share/info
+
+.PHONY: base all info html htmls pdf distclean clean
+
+base: install.txt info html
+
+all: base htmls pdf
+
+info: yacasl2.info
+
+html: $(addsuffix .html,$(DOCS))
+       for f in $^; do $(SED) -i -e 's!dir\.html#Top!\.\./!g' $$f; done
+
+htmls: $(addsuffix _html,$(DOCS))
+       for d in $^; do $(SED) -i -e 's!\.\./dir/index\.html!\.\./\.\./!g' $$d/index.html; done
+
+pdf: $(addsuffix .pdf,$(DOCS))
+
+yacasl2.info: manual.texi
+       $(MAKEINFO) $(MAKEINFO_FLAGS) $<
+
+# makeで作成されたドキュメントはすべて削除
+distclean: clean texinfo-distclean
+       $(RM) install.txt *.info *.html *_html *.pdf
+
+# make baseで作成されたドキュメントは残す
+clean: texinfo-clean
+
+include texinfo.mk
+
+include install-info.mk