@deffn and indentation

In TeX output, if I have a `@deffn ... @end deffn' environment
immediately followed by a new paragraph which consists of a single
line in the output, it is almost impossible to recognize that: Because
the indentation is the same, people will interpret the new paragraph
as part of the @deffn environment -- the slightly increased vertical
distance doesn't help since the difference to the normal paragraph
distance is too small.

I suggest that the printed output is treated similarly to the makeinfo
output: The indentation of @deffn should be 2em larger than the
indentation of the beginning of a paragraph.


    Werner
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://ff0.org/mailman/listinfo/texinfo-pretest