@ifinfo/@iftex in texinfo manual but nothing for html

[Dumas Patrice]

Hi,

@ifinfo sections appear at 3 places in the texinfo manual

1) to avoid that some crossrefs appears in TeX
2) to avoid some little lines appearing in the TeX (mainly
@ifinfo
produces
@end iffinfo
)

In these cases I think that it would be better to have @ifnottex instead,
such that this appears in the html output.

3) Along with corresponding @iftex sections, to have a better output. In
that case there should either be a separated @ifhtml section, or one of
the other could be used for html too (thus transformed in @ifnottex or 
@ifnotinfo).

What do you think about that ?

Pat