You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
12 lines
539 B
12 lines
539 B
diff -up texinfo-6.7/tp/tests/run_parser_all.sh.orig texinfo-6.7/tp/tests/run_parser_all.sh |
|
--- texinfo-6.7/tp/tests/run_parser_all.sh.orig 2019-08-25 19:11:47.000000000 +0200 |
|
+++ texinfo-6.7/tp/tests/run_parser_all.sh 2021-02-02 14:36:15.290152957 +0100 |
|
@@ -46,7 +46,7 @@ check_latex2html_and_tex4ht () |
|
if echo "$remaining" | grep '[-]init mediawiki.pm' >/dev/null; then |
|
if test "$no_html2wiki" = 'yes' ; then |
|
echo "S: (no html2wiki) $current" |
|
- continue 2 |
|
+ return 2 |
|
fi |
|
fi |
|
fi
|
|
|