gnu/dist/texinfo/makeinfo/tests/html-manuals

   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