@documentencoding
enc: 入力エンコードの設定
@documentencoding
コマンドは,入力ドキュメントのエンコードを宣言
します.単独行に,`ISO-8859-1'のような有効なエンコード指定を続けて
書いてください.
現在,これはmakeinfoのHTML出力のみで使用されています.ドキュメ ントエンコードencが指定されている場合,出力の`<head>'に含まれ ている`<meta>'タグで使用されます.
<meta http-equiv="Content-Type" content="text/html; charset=enc">