#!/bin/sh
# Test that a minimal Texinfo file can be converted to HTML.

../makeinfo --html --no-split ${srcdir-.}/html-min.txi
exit_status=$?

rm -f html-min.html
exit $exit_status