GNU bug report logs - #75143
debbugs info manual name

Previous Next

Full log

Message #19 received at 75143 <at> debbugs.gnu.org (full text, mbox):

From: Michael Albinus <michael.albinus <at> gmx.de>
To: Morgan Smith <morgan.j.smith <at> outlook.com>
Cc: 75143 <at> debbugs.gnu.org
Subject: Re: bug#75143: debbugs info manual name
Date: Tue, 11 Feb 2025 15:09:20 +0100

Michael Albinus <michael.albinus <at> gmx.de> writes:

Hi Morgan,

>> When selecting an info manual it still takes me a second to remember
>> that "Debbugs UG" means user guide.  Maybe this could be fixed by adding
>> the short description of the manuals to the Info auto-complete menu
>> (`Info-menu').  I might look into that but that would belong in a
>> separate bug report.
>
> Good idea. You could reuse this bug report for tracking your actions.

Any progress? I'm ready for a new debbugs release, and I'd like to know
whether there will be any further contribution next time.

If you don't plan to submit anything soon now, could you pls explain
what you have in mind with this proposal? I've tried to check it, but
I've failed to understand what to do.

>>>> Thanks,
>>>>
>>>> Morgan

Best regards, Michael.

Previous Next

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