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