1 files changed, 20 insertions, 0 deletions

diff --git a/emulators/vice/files/patch-doc_html_texi2html b/emulators/vice/files/patch-doc_html_texi2html
new file mode 100644
index 000000000000..3400bb8ea306
--- /dev/null
+++ b/emulators/vice/files/patch-doc_html_texi2html
@@ -0,0 +1,20 @@
+--- doc/html/texi2html.orig	2008-03-30 15:04:15 UTC
++++ doc/html/texi2html
+@@ -1557,7 +1557,7 @@ sub update_sec_num {
+     $level--; # here we start at 0
+     if ($name =~ /^appendix/) {
+ 	# 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);
+@@ -1565,7 +1565,7 @@ sub update_sec_num {
+ 	return(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);
+ 	} else {
+ 	    @normal_sec_num = (1, 0, 0, 0);