diff options
author | Karl Berry <karl@freefriends.org> | 2009-11-18 17:22:11 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-11-18 17:22:11 +0000 |
commit | c3de437556742e824b29169bc586b2a1645a15fb (patch) | |
tree | a0ffb9742241a5048dffde744689dc2e951bb339 /Build/source/texk | |
parent | ed75b1a94192c021262e040b590c75d624269162 (diff) |
rm old scripts
git-svn-id: svn://tug.org/texlive/trunk@16065 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk')
-rwxr-xr-x | Build/source/texk/add-info-toc | 21 | ||||
-rwxr-xr-x | Build/source/texk/rename | 13 | ||||
-rwxr-xr-x | Build/source/texk/unbackslsh.awk | 46 |
3 files changed, 0 insertions, 80 deletions
diff --git a/Build/source/texk/add-info-toc b/Build/source/texk/add-info-toc deleted file mode 100755 index 60e808cec5b..00000000000 --- a/Build/source/texk/add-info-toc +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/sh -# Public domain. Originally written 1994, Karl Berry. - -temp=${TMPDIR-/tmp}/ait.$$ - -echo Contents: >$temp -echo >>$temp - -awk ' - { prevline = line; line = $0 } -/^\*+$/ { print prevline } -/^=+$/ { print " " prevline } -/^-+$/ { print " " prevline } -/^\.+$/ { print " " prevline } -' $*>>$temp - -echo >>$temp -echo >>$temp -cat $* >>$temp - -mv $temp $1 diff --git a/Build/source/texk/rename b/Build/source/texk/rename deleted file mode 100755 index 16010f918c5..00000000000 --- a/Build/source/texk/rename +++ /dev/null @@ -1,13 +0,0 @@ -#! /bin/sh -# rename: rename files accoring to expression. -# Copyright 1997 Olaf Weber <infovore@xs4all.nl> -# Public Domain. - -expr="$1" -shift - -for i -do - j=`echo "$i" | sed "$expr"` - mv $i $j -done diff --git a/Build/source/texk/unbackslsh.awk b/Build/source/texk/unbackslsh.awk deleted file mode 100755 index ebbd1d0c34c..00000000000 --- a/Build/source/texk/unbackslsh.awk +++ /dev/null @@ -1,46 +0,0 @@ -#! /usr/bin/awk -f -# The relevant lines look like ` \'. -/^ *\\$/{ - if (!backslashed) - { - #print "not backslashed -- setting to empty backslash"; - backslashed = $0; - } - next; - } -/\\$/ { - if (backslashed) - { - #print "already backslashed"; - print backslashed; - } - - backslashed = $0; - #print "setting bs to " backslashed; - next; - } - -/^ *$/ { - if (backslashed) - { - #print "spaces only -- prev was backslashed"; - print substr (backslashed, 1, length (backslashed) - 1); - backslashed = ""; - } - else - { - #print "spaces only -- prev not backslashed"; - print; - } - next; - } - - { - if (backslashed) - { - #print "normal line -- prev backslashed"; - print backslashed; - backslashed = ""; - } - print - } |