[PATCH] Fix patching of single-page manuals

[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-page manual is a part of table of 
> contents (div.contents), so bold font and suppressed marker rules are 
> applied for regular ul elements.
>
> It is a minor issue. Maybe someone familiar with export settings for the 
> manual could have a look and decide either CSS should be tweaked of main 
> part of the manual should be pulled out of the TOC block.

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 files is not suitable for currently generated files. 
CSS styles intended to tune table of contents are applied to all 
unordered lists.

0001-manfull.pl-Adjust-pattern-for-current-makeinfo.patch
Description: Text Data

0002-manfull.pl-Avoid-silent-failures.patch
Description: Text Data