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

[YACASL2.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 7d575e2..a9f54de 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,4 +1,5 @@
 RMR := $(RM) -r
+SED := sed
 
 DOCS := install manual
 CSS := style.css
@@ -15,8 +16,10 @@ 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))