diff options
Diffstat (limited to 'makeinfo/tests/html-extrali')
| -rwxr-xr-x | makeinfo/tests/html-extrali | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/makeinfo/tests/html-extrali b/makeinfo/tests/html-extrali new file mode 100755 index 0000000..7d0e5f9 --- /dev/null +++ b/makeinfo/tests/html-extrali @@ -0,0 +1,14 @@ +#!/bin/sh +# Test no extra <li> from @menu. + +: ${srcdir=.} + +li_count=`../makeinfo --no-split --html -o - $srcdir/html-extrali.txi 2>/dev/null \ +| grep -c '<li>'` + +if test "$li_count" -ne 1; then + echo "$li_count <li>s instead of one." >&2 + exit 1 +else + exit 0 +fi |