On Tue, 23 Feb 2010, Karl Berry wrote:
Yes, I meant the makeinfo output. I didn't even know there was an other
way to get the output in info format...
Well, it turns out there is, but that's a separate question.
So you're seeing the (wrong) bold in PDF/DVI output,
with @defun
and the (wrong) extra space in Info output, is that right?
with @deftypefun and an empty return type
Meanwhile, Patrice, would you mind checking to see what texi2html's Info
output looks like on the file below? Specifically, if the
@deftype... output has the extra space compared to the @def...?
I don't know about texi2html, but with makeinfo, the html output has an
extra space, but it is no problem since in html the amount of whitespace
is meaningless.
--
Marc Glisse
