Re: makeinfo options

[Eli Zaretskii]

On Mon, 12 Jun 2000, Jonathan S. Shapiro wrote:

> I tried using @html within the header portion of the makeinfo file, and that
> didn't work. I haven't looked at the sources.
> 
> What I think is desirable here is some means to introduce attributes of the
> body tag (e.g. bgcolor, link colors, etc) and also some means to introduce
> link tags in the html header.

This would indeed not work at the moment.  We will need to add special 
directives to support this feature.