6 input
=`basename $0`.txi
9 houtput
=`basename $0`.html
10 ..
/makeinfo
--html --no-split -I$srcdir $srcdir/$input
12 if test $hexit_status = 0; then
13 grep 'ì' $houtput >/dev
/null \
14 && grep '´j' $houtput >/dev
/null \
15 && grep 'Ø' $houtput >/dev
/null \
16 && grep '/L' $houtput >/dev
/null
21 ioutput
=`basename $0`.info
22 ..
/makeinfo
--no-split -I$srcdir $srcdir/$input
24 if test $iexit_status = 0; then
25 grep 'i`' $ioutput >/dev
/null \
26 && grep 'i"' $ioutput >/dev
/null \
27 && grep '/L' $ioutput >/dev
/null
31 rm -f $houtput $ioutput
33 exit_status
=`expr $hexit_status + $iexit_status`