Re: [PATCH] Fix patching of single-page manuals

2021-10-02 Thread Bastien
Max Nikulin writes: > Currently the problem exists e.g. for "Plain Lists" section > https://orgmode.org/manual/Plain-Lists.html - OK > https://orgmode.org/org.html#Plain-Lists - bold items with no markers > > Output of makeinfo changed a bit, so a pattern in a helper script > postprocessing HTML

[PATCH] Fix patching of single-page manuals

2021-10-02 Thread Max Nikulin
On 27/11/2020 23:32, Maxim Nikulin wrote: Unordered lists are styled a bit incorrectly in the single-page org manual. Compare e.g. "Installation" section: https://orgmode.org/org.html#Installation https://orgmode.org/manual/Installation.html#Installation For some reason whole text of single-pa