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 5 exit_status=$? 6 7 rm -f html-min.html 8 exit $exit_status 9
Indexes created Thu Apr 23 00:23:13 UTC 2026