Re: makeinfo options

[Eli Zaretskii]

On Sun, 11 Jun 2000, Jonathan S. Shapiro wrote:

> Similarly, the --no-headers should not have implications for output
> redirection. The two are completely orthogonal.

Sorry, I don't understand what do you mean here.  How does
"--no-headers" imply something about redirection?

> Finally, some mechanism should be introduced to allow control over
> content in the HTML header. In particular, some means is needed to
> introduce style sheets.

Can't this be done with @html?