summaryrefslogtreecommitdiff
path: root/Build/source/texk/add-info-toc
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/add-info-toc')
-rwxr-xr-xBuild/source/texk/add-info-toc21
1 files changed, 21 insertions, 0 deletions
diff --git a/Build/source/texk/add-info-toc b/Build/source/texk/add-info-toc
new file mode 100755
index 00000000000..60e808cec5b
--- /dev/null
+++ b/Build/source/texk/add-info-toc
@@ -0,0 +1,21 @@
+#!/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