#!/bin/sh
# $Id: html-manuals,v 1.1.1.2 2006/07/17 16:03:49 espie 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