2 # Auxiliary script to work around TeX 3.0 bug. ---- tex3patch ----
3 # patches texinfo.tex in current directory, or in directory given as arg.
10 --dammit |
-d ) ANYVERSION
=yes ;;
16 if [ -z "$dir" ]; then
20 if [ \
( 2 -lt $# \
) -o \
21 \
( ! -f $dir/texinfo.tex \
) ]; then
22 echo "To patch texinfo.tex for peaceful coexistence with Unix TeX 3.0,"
24 echo "with no arguments in the same directory as texinfo.tex; or run"
26 echo "(where DIRECTORY is a path leading to texinfo.tex)."
30 if [ -z "$TMPDIR" ]; then
34 echo "Checking for \`dummy.tfm'"
36 ( cd $TMPDIR; tex
'\relax \batchmode \font\foo=dummy \bye' )
38 grep -s '3.0' $TMPDIR/texput.log
39 if [ 1 = "$?" -a "$ANYVERSION" != "yes" ]; then
40 echo "You probably do not need this patch,"
41 echo "since your TeX does not seem to be version 3.0."
42 echo "If you insist on applying the patch, run $0"
43 echo "again with the option \`--dammit'"
47 grep -s 'file not found' $TMPDIR/texput.log
49 echo "This patch requires the dummy font metric file \`dummy.tfm',"
50 echo "which does not seem to be part of your TeX installation."
51 echo "Please get your TeX maintainer to install \`dummy.tfm',"
52 echo "then run this script again."
57 echo "Patching $dir/texinfo.tex"
59 sed -e 's/%%*\\font\\nullfont/\\font\\nullfont/' \
60 $dir/texinfo.tex
>$TMPDIR/texinfo.tex
61 mv $dir/texinfo.tex
$dir/texinfo.tex-distrib
; mv $TMPDIR/texinfo.tex
$dir
64 echo "Patched $dir/texinfo.tex to avoid TeX 3.0 bug."
65 echo "The original version is saved as $dir/texinfo.tex-distrib."
67 echo "Patch failed. Sorry."
69 ----------------------------------------tex3patch ends