#!/bin/sh
# Test no extra <li> from @menu.

li_count=`../makeinfo --html -o - ${srcdir-.}/html-extrali.txi 2>/dev/null \
| grep '<li>' \
| wc -l`

if test "$li_count" -ne 1; then
  echo "$li_count <li>s instead of one." >&2
  exit 1
else
  exit 0
fi
