ドキュメントのヘッダーを修正 v0.2p11
authorj8takagi <j8takagi@nifty.com>
Sun, 14 Jul 2013 04:00:46 +0000 (13:00 +0900)
committerj8takagi <j8takagi@nifty.com>
Sun, 14 Jul 2013 04:00:46 +0000 (13:00 +0900)
Texinfo 5.1でのヘッダー出力仕様変更への対応

.gitignore
VERSION
doc/Makefile
doc/style.css

index 4ded938..2366c7a 100644 (file)
@@ -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
index 7d575e2..a9f54de 100644 (file)
@@ -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))
 
index 1f7d790..da2f969 100644 (file)
@@ -46,6 +46,14 @@ h2 {
     display: none;
 }
 
+h1.node-heading {
+    display: none;
+}
+
+h2.shortcontents-heading{
+    display: none;
+}
+
 .shortcontents a {
    margin-right: 1em;
 }