|
0
|
1 #!/bin/sh
|
|
|
2 # Auxiliary script to work around TeX 3.0 bug. ---- tex3patch ----
|
|
|
3 # patches texinfo.tex in current directory, or in directory given as arg.
|
|
|
4
|
|
|
5 ANYVERSION=no
|
|
|
6
|
|
|
7 for arg in $1 $2
|
|
|
8 do
|
|
|
9 case $arg in
|
|
|
10 --dammit | -d ) ANYVERSION=yes ;;
|
|
|
11
|
|
|
12 * ) dir=$arg
|
|
|
13 esac
|
|
|
14 done
|
|
|
15
|
|
|
16 if [ -z "$dir" ]; then
|
|
|
17 dir='.'
|
|
|
18 fi
|
|
|
19
|
|
|
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,"
|
|
|
23 echo "run $0"
|
|
|
24 echo "with no arguments in the same directory as texinfo.tex; or run"
|
|
|
25 echo " $0 DIRECTORY"
|
|
|
26 echo "(where DIRECTORY is a path leading to texinfo.tex)."
|
|
|
27 exit
|
|
|
28 fi
|
|
|
29
|
|
|
30 if [ -z "$TMPDIR" ]; then
|
|
|
31 TMPDIR=/tmp
|
|
|
32 fi
|
|
|
33
|
|
|
34 echo "Checking for \`dummy.tfm'"
|
|
|
35
|
|
|
36 ( cd $TMPDIR; tex '\relax \batchmode \font\foo=dummy \bye' )
|
|
|
37
|
|
|
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'"
|
|
|
44 exit
|
|
|
45 fi
|
|
|
46
|
|
|
47 grep -s 'file not found' $TMPDIR/texput.log
|
|
|
48 if [ 0 = $? ]; then
|
|
|
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."
|
|
|
53 exit
|
|
|
54 fi
|
|
|
55 rm $TMPDIR/texput.log
|
|
|
56
|
|
|
57 echo "Patching $dir/texinfo.tex"
|
|
|
58
|
|
|
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
|
|
|
62
|
|
|
63 if [ 0 = $? ]; then
|
|
|
64 echo "Patched $dir/texinfo.tex to avoid TeX 3.0 bug."
|
|
|
65 echo "The original version is saved as $dir/texinfo.tex-distrib."
|
|
|
66 else
|
|
|
67 echo "Patch failed. Sorry."
|
|
|
68 fi
|
|
|
69 ----------------------------------------tex3patch ends
|
|
|
70
|
|
|
71
|
