html-extrali 401 B

123456789101112131415161718
  1. #!/bin/sh
  2. # $Id: html-extrali,v 1.3 2010-12-04 00:05:53 karl Exp $
  3. # Public domain. Test no extra <li> from @menu.
  4. unset TEXINFO_OUTPUT LANG LANGUAGE
  5. LC_ALL=POSIX; export LC_ALL
  6. : ${srcdir=.}
  7. li_count=`../makeinfo --no-split --html -o - $srcdir/html-extrali.txi 2>/dev/null \
  8. | grep -c '<li>'`
  9. if test "$li_count" -ne 1; then
  10. echo "$li_count <li>s instead of one." >&2
  11. exit 1
  12. else
  13. exit 0
  14. fi