1 #!/bin/sh 2 # Test that a bare top node does not crash with --html. 3 4 : ${srcdir=.} 5 6 # But this input file is erroneous, so throw away errors. 7 ../makeinfo --no-split --force -o html-top.html --html $srcdir/html-top.txi \ 8 2>/dev/null 9 test -s html-top.html 10 exit_status=$? 11 12 rm -f html-top.html 13 exit $exit_status 14