branch master updated: * contrib/tex3patch: Remove. The message in texinfo.tex that recommended this script was removed on 2003-07-27. It was said to work around a bug in "Unix TeX 3.0". It currently has no effect when running on texinfo.tex.

[Gavin D. Smith]

This is an automated email from the git hooks/post-receive script.

gavin pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 22a52d02dc * contrib/tex3patch: Remove.  The message in texinfo.tex 
that recommended this script was removed on 2003-07-27.  It was said to work 
around a bug in "Unix TeX 3.0".  It currently has no effect when running on 
texinfo.tex.
22a52d02dc is described below

commit 22a52d02dcd34949eb1b0dbf97174d7501082c5e
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Sun Nov 5 16:43:48 2023 +0000

    * contrib/tex3patch: Remove.  The message in texinfo.tex that
    recommended this script was removed on 2003-07-27.  It was
    said to work around a bug in "Unix TeX 3.0".  It currently
    has no effect when running on texinfo.tex.
---
 ChangeLog         |  7 ++++++
 contrib/tex3patch | 70 -------------------------------------------------------
 2 files changed, 7 insertions(+), 70 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 48a2996292..442d3ba3ec 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2023-11-05  Gavin Smith <gavinsmith0123@gmail.com>
+
+       * contrib/tex3patch: Remove.  The message in texinfo.tex that
+       recommended this script was removed on 2003-07-27.  It was
+       said to work around a bug in "Unix TeX 3.0".  It currently
+       has no effect when running on texinfo.tex.
+
 2023-11-05  Patrice Dumas  <pertusus@free.fr>
 
        * NEWS: mention that PACKAGE* customization variables became
diff --git a/contrib/tex3patch b/contrib/tex3patch
deleted file mode 100755
index 046c794645..0000000000
--- a/contrib/tex3patch
+++ /dev/null
@@ -1,70 +0,0 @@
-#!/bin/sh
-# Auxiliary script to work around TeX 3.0 bug.      ---- tex3patch  ----
-# 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 $# ] || [ ! -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 = "$?" ] && [ "$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
-----------------------------------------tex3patch ends
-
-