Go to the first, previous, next, last section, table of contents.
@documentencoding enc: Set Input Encoding
The @documentencoding command declares the input document
encoding. Write it on a line by itself, with a valid encoding
specification following, such as `ISO-8859-1'.
At present, this is used only in HTML output from makeinfo. If a
document encoding enc is specified, it is used in the
`<meta>' tag is included in the `<head>' of the output:
<meta http-equiv="Content-Type" content="text/html; charset=enc">
Go to the first, previous, next, last section, table of contents.