[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#58892: 29.0.50; [PATCH] eglot-manual: Open the local info documentat
From: |
Stefan Kangas |
Subject: |
bug#58892: 29.0.50; [PATCH] eglot-manual: Open the local info documentation |
Date: |
Fri, 11 Nov 2022 05:05:28 -0800 |
João Távora <joaotavora@gmail.com> writes:
> On Sun, Oct 30, 2022 at 2:02 PM Eli Zaretskii <eliz@gnu.org> wrote:
>
> > Currently, Eglot has a menu item that opens
> > https://github.com/joaotavora/eglot#readme. I think opening that URL
> > doesn't make sense anymore since eglot.texi is the primary source of the
> > documentation. Is it OK then to remove this menu item?
>
> Fine by me, but please wait for João to chime in.
>
> Yes, it's fine. Show a patch and or push directly if you have permissions.
Now done, see commit c64d94c849.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#58892: 29.0.50; [PATCH] eglot-manual: Open the local info documentation,
Stefan Kangas <=