[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#44016: 28.0.50; Add new "gnus-search" search interface to Gnus
From: |
Eric Abrahamsen |
Subject: |
bug#44016: 28.0.50; Add new "gnus-search" search interface to Gnus |
Date: |
Sun, 01 Nov 2020 13:19:27 -0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
On 11/01/20 18:10 PM, Basil L. Contovounesios wrote:
> Eric Abrahamsen <eric@ericabrahamsen.net> writes:
>
>> Finally done! I think. Most of the final work was writing the docs.
>
> Thanks! I only had time to look through the manual, and it looks good,
> modulo some minor markup nits.
Some day... some day, I will learn to write texi properly. I see I also
forgot a NEWS entry. Thanks to both of you for your comments.
I'm attaching just the diff for the manual changes. I think I've got all
of your (plural) comments -- the @table hint was particularly helpful,
thank you.
Eric
gnus-search-docs.diff
Description: Text Data
- bug#44016: 28.0.50; Add new "gnus-search" search interface to Gnus, Eric Abrahamsen, 2020/11/01
- bug#44016: 28.0.50; Add new "gnus-search" search interface to Gnus, Basil L. Contovounesios, 2020/11/01
- bug#44016: 28.0.50; Add new "gnus-search" search interface to Gnus, Eric Abrahamsen, 2020/11/01
- bug#44016: 28.0.50; Add new "gnus-search" search interface to Gnus, Stefan Monnier, 2020/11/01
- bug#44016: 28.0.50; Add new "gnus-search" search interface to Gnus, Eric Abrahamsen, 2020/11/01
- bug#44016: 28.0.50; Add new "gnus-search" search interface to Gnus, Stefan Monnier, 2020/11/02
- bug#44016: 28.0.50; Add new "gnus-search" search interface to Gnus, Eric Abrahamsen, 2020/11/02
- bug#44016: 28.0.50; Add new "gnus-search" search interface to Gnus, Eric Abrahamsen, 2020/11/02
- bug#44016: 28.0.50; Add new "gnus-search" search interface to Gnus, Eric Abrahamsen, 2020/11/04