35 lines
764 B
Bash
Executable File
35 lines
764 B
Bash
Executable File
#!/bin/sh
|
|
# Test accent output.
|
|
|
|
unset TEXINFO_OUTPUT
|
|
: ${srcdir=.}
|
|
input=`basename $0`.txi
|
|
|
|
# html.
|
|
houtput=`basename $0`.html
|
|
../makeinfo --html --no-split -I$srcdir $srcdir/$input
|
|
hexit_status=$?
|
|
if test $hexit_status = 0; then
|
|
grep 'ì' $houtput >/dev/null \
|
|
&& grep '´j' $houtput >/dev/null \
|
|
&& grep 'Ø' $houtput >/dev/null \
|
|
&& grep '/L' $houtput >/dev/null
|
|
hexit_status=$?
|
|
fi
|
|
|
|
# info
|
|
ioutput=`basename $0`.info
|
|
../makeinfo --no-split -I$srcdir $srcdir/$input
|
|
iexit_status=$?
|
|
if test $iexit_status = 0; then
|
|
grep 'i`' $ioutput >/dev/null \
|
|
&& grep 'i"' $ioutput >/dev/null \
|
|
&& grep '/L' $ioutput >/dev/null
|
|
iexit_status=$?
|
|
fi
|
|
|
|
rm -f $houtput $ioutput
|
|
|
|
exit_status=`expr $hexit_status + $iexit_status`
|
|
exit $exit_status
|