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

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