html-top 438 B

1234567891011121314151617
  1. #!/bin/sh
  2. # $Id: html-top,v 1.2 2010-12-04 00:05:54 karl Exp $
  3. # Public domain. Test that a bare top node does not crash with --html.
  4. unset TEXINFO_OUTPUT LANG LANGUAGE
  5. LC_ALL=POSIX; export LC_ALL
  6. : ${srcdir=.}
  7. # But this input file is erroneous, so throw away errors.
  8. ../makeinfo --no-split --force -o html-top.html --html $srcdir/html-top.txi \
  9. 2>/dev/null
  10. test -s html-top.html
  11. exit_status=$?
  12. rm -f html-top.html
  13. exit $exit_status