Re: @settitle and html ouput

[Eli Zaretskii]

> From: Tom Cato Amundsen <address@hidden>
> Date: 25 Feb 2002 21:59:59 +0100
> 
> Sorry for the spam, do you have a devel list?

There's help-texinfo, if you think this is a usage problem.

> I'm using texinfo-4.0h. I understand 4.0h is still a prerelease...
> what is the versioning scheme?

Released versions don't have letters in the version number, only 4.0,
4.1, 5.5, etc.

> Is the title set by @settitle supposed to be displayed in H1 tags in
> html output?

No.  settitle is ignored in all formats except XML and the printed
version typeset by TeX.

> The users guide say @settitle set a title to be used in headings of
> footers in a printed manual, and talks only about tex.

Thanks, I will clarify this in the manual.