diff options
Diffstat (limited to 'Build/source/utils/texinfo/makeinfo/tests/html-top')
-rwxr-xr-x | Build/source/utils/texinfo/makeinfo/tests/html-top | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Build/source/utils/texinfo/makeinfo/tests/html-top b/Build/source/utils/texinfo/makeinfo/tests/html-top new file mode 100755 index 00000000000..038404a49d1 --- /dev/null +++ b/Build/source/utils/texinfo/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 |