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
7for 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
13done
14