Subject: bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project

From: Dmitry Gutov <[email-masked]>
Date: Thu, 25 Mar 2021 03:04:22 +0200

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.