GNU bug report logs - #47287
28.0.50; [PATCH] Add command project-remove-known-project

Previous Next

Full log

View this message in rfc822 format

From: Theodor Thornhill <theo <at> thornhill.no>
To: Dmitry Gutov <dgutov <at> yandex.ru>
Cc: "Basil L. Contovounesios" <contovob <at> tcd.ie>, 47287 <at> debbugs.gnu.org
Subject: bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project
Date: Thu, 25 Mar 2021 07:15:22 +0100

I think i see whats missing - adding followup later today :)

—
Theodor

> 25. mar. 2021 kl. 02:04 skrev Dmitry Gutov <dgutov <at> yandex.ru>:
> 
> Hi Basil,
> 
>> On 25.03.2021 02:03, Basil L. Contovounesios wrote:
>> But Texinfo still had some comments on the patch;).
>>   ./maintaining.texi:1821: warning: node `Managing project list file' is
>>   next for `Switching Projects' in sectioning but not in menu
>>   ./maintaining.texi:1846: warning: node `Switching Projects' is prev
>>   for `Managing project list file' in sectioning but not in menu
>>   ./maintaining.texi:1846: warning: node `Projects' is up for `Managing
>>   project list file' in sectioning but not in menu
>>   ./maintaining.texi:1641: node `Projects' lacks menu item for `Managing
>>   project list file' despite being its Up target
>> Could you please add a menu entry for the new node?
> 
> If you know how to fix any of that, help welcome.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.