[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: makeinfo: `` --- ''
|
From: |
Akim Demaille |
|
Subject: |
Re: makeinfo: `` --- '' |
|
Date: |
Mon, 09 Feb 2004 18:06:29 +0100 |
|
User-agent: |
Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) |
> - -- Rule: Hunt Leaks
> + - Rule: Hunt Leaks
> Is this coming from @defun or something?
Yep.
> A normal "--" in text will indeed be transformed into -. This is
> because of the TeX conventions for dashes, which Texinfo follows
> ...
OK.
I don't know what was changed, but that was quite recent.