summaryrefslogtreecommitdiff
path: root/Build/source/texk
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2009-11-18 17:22:11 +0000
committerKarl Berry <karl@freefriends.org>2009-11-18 17:22:11 +0000
commitc3de437556742e824b29169bc586b2a1645a15fb (patch)
treea0ffb9742241a5048dffde744689dc2e951bb339 /Build/source/texk
parented75b1a94192c021262e040b590c75d624269162 (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-xBuild/source/texk/add-info-toc21
-rwxr-xr-xBuild/source/texk/rename13
-rwxr-xr-xBuild/source/texk/unbackslsh.awk46
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
- }