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 top2.html --html $srcdir/top2.txi 2>/dev/null 8test -s top2.html 9exit_status=$? 10 11rm -f top2.html 12exit $exit_status 13