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

[Protesilaos Stavrou]

On 2021-02-21, 01:15 -0500, Richard Stallman <rms@gnu.org> wrote:

> Theis problem is in doc/misc/modus-themes.texi,
> but I suspect that doc/misc/org.texi has it too.
>
> The problem is that the file uses the wrong Texinfo markup in some
> places.  I suspect that the source markup language, from which this
> Texinfo text is generated, doesn't have the ability to make all the
> distinctions Texinfo needs.

Related: bug#45141 reported by Glenn Morris.

With regard to the modus-themes, I am indeed building the manual from an
Org file.  I have not found any way to fix those issues in advance (at
the Org level), so I am willing to do so manually when I am about to
send a patch to the Emacs maintainers.

The blocking issue, however, is that there is no progress on bug#45068,
which is about updating the themes to their latest version.  That
includes changes to the manual.  You can read the recap here:
<https://debbugs.gnu.org/cgi/bugreport.cgi?bug=45068#86> (please bear in
mind that more development time has been invested since then, meaning
that we are closer to version 1.2.0 of the themes).

I am willing to help in any way I can, though changing the Emacs
infrastructure is still beyond my skill level.

-- 
Protesilaos Stavrou
protesilaos.com