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