]> gcc.gnu.org Git - gcc.git/blob - texinfo/util/tex3patch
Initial revision
[gcc.git] / texinfo / util / tex3patch
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
This page took 0.041642 seconds and 5 git commands to generate.