diff options
Diffstat (limited to 'makeinfo/tests/html-top')
| -rwxr-xr-x | makeinfo/tests/html-top | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/makeinfo/tests/html-top b/makeinfo/tests/html-top new file mode 100755 index 0000000..038404a --- /dev/null +++ b/makeinfo/tests/html-top @@ -0,0 +1,13 @@ +#!/bin/sh +# Test that a bare top node does not crash with --html. + +: ${srcdir=.} + +# But this input file is erroneous, so throw away errors. +../makeinfo --no-split --force -o html-top.html --html $srcdir/html-top.txi \ +2>/dev/null +test -s html-top.html +exit_status=$? + +rm -f html-top.html +exit $exit_status |