[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#64154: Some additions to the EasyPG Assistant's manual
From: |
Jens Schmidt |
Subject: |
bug#64154: Some additions to the EasyPG Assistant's manual |
Date: |
Tue, 11 Jul 2023 22:24:58 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.12.0 |
On 2023-07-11 13:02, Eli Zaretskii wrote:
Convert the other text to a simple cross-reference to the main manual,
and add whatever info is missing from the main manual, if needed.
Here it is, for convenience together with both previous patches:
0001-Add-concept-index-title-case-structure-titles.patch
Sent in https://debbugs.gnu.org/cgi/bugreport.cgi?bug=64154#71, LGTMed
by you in #77.
0002-Add-basic-usage-information-and-fix-references.patch
Sent in https://debbugs.gnu.org/cgi/bugreport.cgi?bug=64154#92 as a
result of your previous review.
0003-Replace-duplicate-text-from-epa.texi-by-a-reference.patch
Hope these are all OK to you. If so please commit and merge to
emacs-29. I can close this bug, then.
Thanks
0001-Add-concept-index-title-case-structure-titles.patch
Description: Text Data
0002-Add-basic-usage-information-and-fix-references.patch
Description: Text Data
0003-Replace-duplicate-text-from-epa.texi-by-a-reference.patch
Description: Text Data
- bug#64154: Some additions to the EasyPG Assistant's manual, Jens Schmidt, 2023/07/08
- bug#64154: Some additions to the EasyPG Assistant's manual, Eli Zaretskii, 2023/07/09
- bug#64154: Some additions to the EasyPG Assistant's manual, Jens Schmidt, 2023/07/09
- bug#64154: Some additions to the EasyPG Assistant's manual, Eli Zaretskii, 2023/07/09
- bug#64154: Some additions to the EasyPG Assistant's manual, Jens Schmidt, 2023/07/09
- bug#64154: Some additions to the EasyPG Assistant's manual, Eli Zaretskii, 2023/07/11
- bug#64154: Some additions to the EasyPG Assistant's manual,
Jens Schmidt <=
- bug#64154: Some additions to the EasyPG Assistant's manual, Eli Zaretskii, 2023/07/13
- bug#64154: Some additions to the EasyPG Assistant's manual, Jens Schmidt, 2023/07/13