summaryrefslogtreecommitdiff
path: root/Build/source/texk/add-info-toc
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/add-info-toc
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/add-info-toc')
-rwxr-xr-xBuild/source/texk/add-info-toc21
1 files changed, 0 insertions, 21 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