html-top revision 1.1.1.1
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 \ 82>/dev/null 9test -s html-top.html 10exit_status=$? 11 12rm -f html-top.html 13exit $exit_status 14