1#!/bin/sh 2# Test that a minimal Texinfo file can be converted to HTML. 3 4../makeinfo --html --no-split ${srcdir-.}/html-min.txi 5exit_status=$? 6 7rm -f html-min.html 8exit $exit_status 9