[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: in Info space after *note required for cross ref?
|
From: |
Patrice Dumas |
|
Subject: |
Re: in Info space after *note required for cross ref? |
|
Date: |
Sun, 5 Aug 2012 19:22:27 +0200 |
|
User-agent: |
Mutt/1.5.20 (2009-12-10) |
On Thu, Jun 28, 2012 at 09:39:37PM +0000, Karl Berry wrote:
> 1) the new makeinfo should only warn about @strong{Note} when the result
> is actually ambiguous, as occasioned the whole discussion, and
It now only warns if there is a space after the note in @strong{note ...}.
--
Pat