diff options
Diffstat (limited to 'Build/source/utils/texinfo/makeinfo/tests/html-manuals')
| -rwxr-xr-x | Build/source/utils/texinfo/makeinfo/tests/html-manuals | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Build/source/utils/texinfo/makeinfo/tests/html-manuals b/Build/source/utils/texinfo/makeinfo/tests/html-manuals new file mode 100755 index 00000000000..2ba24f34a44 --- /dev/null +++ b/Build/source/utils/texinfo/makeinfo/tests/html-manuals @@ -0,0 +1,13 @@ +#!/bin/sh +# $Id: html-manuals,v 1.3 2004/04/11 17:56:47 karl Exp $ +# Test that all the distribution manuals can be converted to HTML. + +: ${srcdir=.} + +for manual in info.texi info-stnd.texi texinfo.txi; do + base=`echo $manual | sed 's/\.te*xi$//'` + ../makeinfo --html -I$srcdir/../../doc -I../../doc --no-split \ + $srcdir/../../doc/$manual -o $base.html \ + || exit 1 + rm -f $base.html +done |