[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Anchors do not work with makeinfo
|
From: |
Gavin Smith |
|
Subject: |
Re: Anchors do not work with makeinfo |
|
Date: |
Tue, 20 Oct 2020 19:13:47 +0100 |
|
User-agent: |
Mutt/1.9.4 (2018-02-28) |
On Tue, Oct 20, 2020 at 03:02:58PM +0200, Christopher Dimech wrote:
> ./gela-test.texi:9: node `Introduction' lacks menu item for
> `Specif-Intactv-Arg' despite being its Up target
I don't see why this should be a fatal error, when the others are
just warnings, so I've changed this to be just a warning in commit
882c684.