From 0afb992c169232e6ef08f8c5a73fc2a7602dae23 Mon Sep 17 00:00:00 2001 From: j8takagi Date: Sun, 14 Jul 2013 13:00:46 +0900 Subject: [PATCH] =?utf8?q?=E3=83=89=E3=82=AD=E3=83=A5=E3=83=A1=E3=83=B3?= =?utf8?q?=E3=83=88=E3=81=AE=E3=83=98=E3=83=83=E3=83=80=E3=83=BC=E3=82=92?= =?utf8?q?=E4=BF=AE=E6=AD=A3?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Texinfo 5.1でのヘッダー出力仕様変更への対応 --- .gitignore | 1 + VERSION | 2 +- doc/Makefile | 3 +++ doc/style.css | 8 ++++++++ 4 files changed, 13 insertions(+), 1 deletion(-) 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; } -- 2.18.0