diff --git a/mk/manfull.pl b/mk/manfull.pl index 95ffa392c..307ce396e 100755 --- a/mk/manfull.pl +++ b/mk/manfull.pl @@ -13,7 +13,7 @@ while () { } elsif (/
/) { print OUT; print OUT '

This is the official manual for the latest Org mode release.

'; - } elsif (/

Table of Contents<\/h2>/) { + } elsif (/

Table of Contents<\/h2>|

/) { print OUT; print OUT 'https://orgmode.org
'; $toc = 1;