html-manuals 487 B

1234567891011121314151617
  1. #!/bin/sh
  2. # $Id: html-manuals,v 1.4 2010-12-04 00:05:53 karl Exp $
  3. # Public domain. Test that all the distribution manuals can be
  4. # converted to HTML.
  5. unset TEXINFO_OUTPUT LANG LANGUAGE
  6. LC_ALL=POSIX; export LC_ALL
  7. : ${srcdir=.}
  8. for manual in info.texi info-stnd.texi texinfo.txi; do
  9. base=`echo $manual | sed 's/\.te*xi$//'`
  10. ../makeinfo --html -I$srcdir/../../doc -I../../doc --no-split \
  11. $srcdir/../../doc/$manual -o $base.html \
  12. || exit 1
  13. rm -f $base.html
  14. done