From: j8takagi Date: Sun, 14 Jul 2013 04:00:46 +0000 (+0900) Subject: ドキュメントのヘッダーを修正 X-Git-Tag: v0.2p11 X-Git-Url: https://j8takagi.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0afb992c169232e6ef08f8c5a73fc2a7602dae23;p=YACASL2.git ドキュメントのヘッダーを修正 Texinfo 5.1でのヘッダー出力仕様変更への対応 --- diff --git a/.gitignore b/.gitignore index 4ded938..2366c7a 100644 --- a/.gitignore +++ b/.gitignore @@ -8,3 +8,4 @@ GRTAGS GTAGS #* core +/Doxyfile diff --git a/VERSION b/VERSION index e5e8a30..9fdbbae 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -v0.2p10 +v0.2p11 diff --git a/doc/Makefile b/doc/Makefile index 7d575e2..a9f54de 100644 --- 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 --- 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; }