@deffn and indentation

[Werner LEMBERG]

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

[Karl Berry]

The indentation of @deffn should be 2em larger than the
indentation of the beginning of a paragraph.

I'm somewhat reluctant to reduce the \hsize of definitions since it will
certainly cause lots of new overfull boxes in, e.g., the Elisp manual.
I agree the output is problematic, though. Sigh.