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

Texinfo 5.1でのヘッダー出力仕様変更への対応

diff --git a/.gitignore b/.gitignore
index 4ded938..2366c7a 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -8,3 +8,4 @@ GRTAGS
 GTAGS
 #*
 core
+/Doxyfile

diff --git a/VERSION b/VERSION
index e5e8a30..9fdbbae 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-v0.2p10
+v0.2p11

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))
 

diff --git a/doc/style.css b/doc/style.css
index 1f7d790..da2f969 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -46,6 +46,14 @@ h2 {
     display: none;
 }
 
+h1.node-heading {
+    display: none;
+}
+
+h2.shortcontents-heading{
+    display: none;
+}
+
 .shortcontents a {
    margin-right: 1em;
 }