1 1.1 christos #!/bin/sh 2 1.1 christos # Test accent output. 3 1.1 christos 4 1.1 christos unset TEXINFO_OUTPUT 5 1.1 christos : ${srcdir=.} 6 1.1 christos input=`basename $0`.txi 7 1.1 christos 8 1.1 christos # html. 9 1.1 christos houtput=`basename $0`.html 10 1.1 christos ../makeinfo --html --no-split -I$srcdir $srcdir/$input 11 1.1 christos hexit_status=$? 12 1.1 christos if test $hexit_status = 0; then 13 1.1 christos grep 'ì' $houtput >/dev/null \ 14 1.1 christos && grep '´j' $houtput >/dev/null \ 15 1.1 christos && grep 'Ø' $houtput >/dev/null \ 16 1.1 christos && grep '/L' $houtput >/dev/null 17 1.1 christos hexit_status=$? 18 1.1 christos fi 19 1.1 christos 20 1.1 christos # info 21 1.1 christos ioutput=`basename $0`.info 22 1.1 christos ../makeinfo --no-split -I$srcdir $srcdir/$input 23 1.1 christos iexit_status=$? 24 1.1 christos if test $iexit_status = 0; then 25 1.1 christos grep 'i`' $ioutput >/dev/null \ 26 1.1 christos && grep 'i"' $ioutput >/dev/null \ 27 1.1 christos && grep '/L' $ioutput >/dev/null 28 1.1 christos iexit_status=$? 29 1.1 christos fi 30 1.1 christos 31 1.1 christos rm -f $houtput $ioutput 32 1.1 christos 33 1.1 christos exit_status=`expr $hexit_status + $iexit_status` 34 1.1 christos exit $exit_status 35