bug#45143: Incorrect markup in some doc/misc manuals

[Protesilaos Stavrou <info@protesilaos.com>]

On 2021-02-24, 17:13 +0200, Eli Zaretskii <eliz@gnu.org> wrote:

>> From: Protesilaos Stavrou <info@protesilaos.com>
>> Date: Wed, 24 Feb 2021 09:38:23 +0200
>> Cc: rgm@gnu.org, 45143@debbugs.gnu.org, Richard Stallman <rms@gnu.org>
>> 
>> After reading through the discussion[1] on using Org for Emacs manuals,
>> I have managed to make some changes to the modus-themes.org file which
>> generates modus-themes.texi.
>> 
>> You can inspect the source code with:
>> 
>>     git clone https://gitlab.com/protesilaos/modus-themes.git
>> 
>> Documentation is stored in the repo's "doc" directory.
>> 
>> The changes pertain to the appropriate use of Texinfo markup such as
>> 'kbd', 'code', and 'file'.  Furthermore, the modus-themes.texi file is
>> now distributed as part of the source code, whereas before I was only
>> sharing the modus-themes.org and its derived modus-themes.info.
>> 
>> Those improvements will be made available for the forthcoming version
>> 1.2.0 of the Modus themes (expected within the next few days).  Core
>> Emacs currently ships with the themes' 0.13.0 version, which will soon
>> be three releases behind.
>
> Thanks, but please also submit those improvements to Org's Texinfo
> export to the Org developers, so that other manuals written in org
> could also benefit from this improved Texinfo support.

Yes, sure!  I will go through the Org manual and check what can be done.

Though I think Richard's and Glenn's original point was that the Org
project uses the ".org" file as its original source in its own git
repository ("org-manual.org"), whereas it distributes ".texi" with
emacs.git ("org.texi")---so what is in core Emacs is technically not the
original source.

That was the issue with my themes and is why I am now sharing the
".texi" in addition to the ".org".  If I notice any further
inconsistencies, I will address them.

-- 
Protesilaos Stavrou
protesilaos.com