Mercurial > hg > xemacs-beta
comparison man/tex3patch @ 0:376386a54a3c r19-14
Import from CVS: tag r19-14
| author | cvs |
|---|---|
| date | Mon, 13 Aug 2007 08:45:50 +0200 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| -1:000000000000 | 0:376386a54a3c |
|---|---|
| 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 |