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);
+ 	}