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

[Theodor Thornhill]

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

—
Theodor

> 25. mar. 2021 kl. 02:04 skrev Dmitry Gutov <dgutov@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.