diff options
Diffstat (limited to 'Build/source/utils/texinfo/makeinfo/tests/html-min')
-rwxr-xr-x | Build/source/utils/texinfo/makeinfo/tests/html-min | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Build/source/utils/texinfo/makeinfo/tests/html-min b/Build/source/utils/texinfo/makeinfo/tests/html-min new file mode 100755 index 00000000000..948071a9917 --- /dev/null +++ b/Build/source/utils/texinfo/makeinfo/tests/html-min @@ -0,0 +1,8 @@ +#!/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 |