ドキュメントのヘッダーを修正 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)
commit0afb992c169232e6ef08f8c5a73fc2a7602dae23
treed11e2623ef642171fbf139b4d167b2e52061ac85
parentaabb350bc1579901603d956d6c5f51f1024f24db
ドキュメントのヘッダーを修正

Texinfo 5.1でのヘッダー出力仕様変更への対応
.gitignore
VERSION
doc/Makefile
doc/style.css