[elpa] externals-release/org b7df830 2/6: manfull.pl: Adjust pattern for current makeinfo

[ELPA Syncer]

branch: externals-release/org
commit b7df8307ec43572743cbb93c9751280cb514b373
Author: Max Nikulin <manikulin@gmail.com>
Commit: Bastien <bzg@gnu.org>

    manfull.pl: Adjust pattern for current makeinfo
    
    * mk/manfull.pl: During patching of single-page html manuals allow
    current form of table of contents headers.
    
    Older makeinfo did not add "contents-heading" class to "<h2>" element.
    Helper script failed to properly modify HTML files generated by current
    version of makeinfo.  With partially patched file, CSS stiles intended
    for table of contents were applied to all unordered lists, so e.g. in
    "Plain Lists" section items were bold and with missed markers.
---
 mk/manfull.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mk/manfull.pl b/mk/manfull.pl
index 95ffa39..307ce39 100755
--- a/mk/manfull.pl
+++ b/mk/manfull.pl
@@ -13,7 +13,7 @@ while (<IN>) {
   } elsif (/<div class="contents">/) {
     print OUT;
     print OUT '<p>This is the official manual for the latest <a 
href="https://orgmode.org";>Org mode</a> release.</p><div 
id="table-of-contents">';
-  } elsif (/<h2>Table of Contents<\/h2>/) {
+  } elsif (/<h2>Table of Contents<\/h2>|<h2 class="contents-heading">/) {
     print OUT;
     print OUT '<a href="https://orgmode.org";>https://orgmode.org</a><br/><div 
id="text-table-of-contents">';
     $toc = 1;