1 #!/bin/sh 2 # Id: html-manuals,v 1.3 2004/04/11 17:56:47 karl Exp 3 # Test that all the distribution manuals can be converted to HTML. 4 5 : ${srcdir=.} 6 7 for manual in info.texi info-stnd.texi texinfo.txi; do 8 base=`echo $manual | sed 's/\.te*xi$//'` 9 ../makeinfo --html -I$srcdir/../../doc -I../../doc --no-split \ 10 $srcdir/../../doc/$manual -o $base.html \ 11 || exit 1 12 rm -f $base.html 13 done 14