Annotation of GNUtools/libg++/texinfo/tex3patch, revision 1.1

1.1     ! root        1: #!/bin/sh
        !             2: # Auxiliary script to work around TeX 3.0 bug.
        !             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

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.