1*29619d2aSchristos#!/bin/sh 2*29619d2aSchristos# Test no extra <li> from @menu. 3*29619d2aSchristos 4*29619d2aSchristos: ${srcdir=.} 5*29619d2aSchristos 6*29619d2aSchristosli_count=`../makeinfo --no-split --html -o - $srcdir/html-extrali.txi 2>/dev/null \ 7*29619d2aSchristos| grep '<li>' \ 8*29619d2aSchristos| wc -l` 9*29619d2aSchristos 10*29619d2aSchristosif test "$li_count" -ne 1; then 11*29619d2aSchristos echo "$li_count <li>s instead of one." >&2 12*29619d2aSchristos exit 1 13*29619d2aSchristoselse 14*29619d2aSchristos exit 0 15*29619d2aSchristosfi 16