summaryrefslogtreecommitdiff
path: root/gnu/lib/libg++/texinfo/tex3patch
diff options
context:
space:
mode:
authorTodd C. Miller <millert@cvs.openbsd.org>1998-03-03 21:50:35 +0000
committerTodd C. Miller <millert@cvs.openbsd.org>1998-03-03 21:50:35 +0000
commit189a91772ede559c0f7166047745d3add52cddbe (patch)
tree9dd1049e2bea8c10fe492d012983d835a6c3a8a2 /gnu/lib/libg++/texinfo/tex3patch
parentc826e751760901de543f4640467e3a08df7f49bf (diff)
libg++ 2.8.0 from FSF + changes to build in an OpenBSD environment
Diffstat (limited to 'gnu/lib/libg++/texinfo/tex3patch')
-rw-r--r--gnu/lib/libg++/texinfo/tex3patch68
1 files changed, 0 insertions, 68 deletions
diff --git a/gnu/lib/libg++/texinfo/tex3patch b/gnu/lib/libg++/texinfo/tex3patch
deleted file mode 100644
index e3586224c6a..00000000000
--- a/gnu/lib/libg++/texinfo/tex3patch
+++ /dev/null
@@ -1,68 +0,0 @@
-#!/bin/sh
-# Auxiliary script to work around TeX 3.0 bug.
-# patches texinfo.tex in current directory, or in directory given as arg.
-
-ANYVERSION=no
-
-for arg in $1 $2
-do
- case $arg in
- --dammit | -d ) ANYVERSION=yes ;;
-
- * ) dir=$arg
- esac
-done
-
-if [ -z "$dir" ]; then
- dir='.'
-fi
-
-if [ \( 2 -lt $# \) -o \
- \( ! -f $dir/texinfo.tex \) ]; then
- echo "To patch texinfo.tex for peaceful coexistence with Unix TeX 3.0,"
- echo "run $0"
- echo "with no arguments in the same directory as texinfo.tex; or run"
- echo " $0 DIRECTORY"
- echo "(where DIRECTORY is a path leading to texinfo.tex)."
- exit
-fi
-
-if [ -z "$TMPDIR" ]; then
- TMPDIR=/tmp
-fi
-
-echo "Checking for \`dummy.tfm'"
-
-( cd $TMPDIR; tex '\relax \batchmode \font\foo=dummy \bye' )
-
-grep -s '3.0' $TMPDIR/texput.log
-if [ 1 = "$?" -a "$ANYVERSION" != "yes" ]; then
- echo "You probably do not need this patch,"
- echo "since your TeX does not seem to be version 3.0."
- echo "If you insist on applying the patch, run $0"
- echo "again with the option \`--dammit'"
- exit
-fi
-
-grep -s 'file not found' $TMPDIR/texput.log
-if [ 0 = $? ]; then
- echo "This patch requires the dummy font metric file \`dummy.tfm',"
- echo "which does not seem to be part of your TeX installation."
- echo "Please get your TeX maintainer to install \`dummy.tfm',"
- echo "then run this script again."
- exit
-fi
-rm $TMPDIR/texput.log
-
-echo "Patching $dir/texinfo.tex"
-
-sed -e 's/%%*\\font\\nullfont/\\font\\nullfont/' \
- $dir/texinfo.tex >$TMPDIR/texinfo.tex
-mv $dir/texinfo.tex $dir/texinfo.tex-distrib; mv $TMPDIR/texinfo.tex $dir
-
-if [ 0 = $? ]; then
- echo "Patched $dir/texinfo.tex to avoid TeX 3.0 bug."
- echo "The original version is saved as $dir/texinfo.tex-distrib."
-else
- echo "Patch failed. Sorry."
-fi