html-min revision 1.1
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 Fri Apr 24 00:22:58 UTC 2026