diff options
Diffstat (limited to 'math/oleo/files/patch-doc_texi2html.in')
| -rw-r--r-- | math/oleo/files/patch-doc_texi2html.in | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/math/oleo/files/patch-doc_texi2html.in b/math/oleo/files/patch-doc_texi2html.in new file mode 100644 index 000000000000..55ae0733ed44 --- /dev/null +++ b/math/oleo/files/patch-doc_texi2html.in @@ -0,0 +1,23 @@ +--- doc/texi2html.in.orig 2015-04-20 17:22:33 UTC ++++ doc/texi2html.in +@@ -3790,9 +3790,9 @@ sub update_sec_num { + my $ret; + + $level--; # here we start at 0 +- if ($name =~ /^appendix/ || defined(@appendix_sec_num)) { ++ if ($name =~ /^appendix/ || @appendix_sec_num) { + # appendix style +- if (defined(@appendix_sec_num)) { ++ if (@appendix_sec_num) { + &incr_sec_num($level, @appendix_sec_num); + } else { + @appendix_sec_num = ('A', 0, 0, 0); +@@ -3800,7 +3800,7 @@ sub update_sec_num { + $ret = join('.', @appendix_sec_num[0..$level]); + } else { + # normal style +- if (defined(@normal_sec_num)) ++ if (@normal_sec_num) + { + &incr_sec_num($level, @normal_sec_num); + } |