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/add-info-toc | |
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/add-info-toc')
-rwxr-xr-x | Build/source/texk/add-info-toc | 21 |
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 |