X-Git-Url: https://git.distorted.org.uk/~mdw/tripe/blobdiff_plain/85b1ebd6e0a50314cd28a602a69c6cde0efcecb1..6b6ad6702f305891ced3b9a7cf3061c75eabda86:/doc/make-summary

diff --git a/doc/make-summary b/doc/make-summary
deleted file mode 100755
index 2aff34c6..00000000
--- a/doc/make-summary
+++ /dev/null
@@ -1,29 +0,0 @@
-#! /usr/bin/awk -f
-
-BEGIN { n = 0; opts = 0; sep = 0; }
-
-/^\.\\\"\* ([0-9]+) (.*)$/ {
-  n = $2;
-  name = $3;
-  for (i = 4; i <= NF; i++) name = name " " $i;
-  head[n] = name;
-}
-/^\.\\\"\+opts$/ { opts = 1; lines[n] = lines[n] "\\h'2n'Options:\n.RS\n"; }
-/^\.\\\"\-opts$/ { opts = 0; lines[n] = lines[n] ".RE\n"; }
-/^\.\\\"\+sep$/ { sep = 1; }
-/^\.\\\"\-sep$/ { sep = 0; }
-/^\.\\\"\-opts$/ { opts = 0; lines[n] = lines[n] ".RE\n"; }
-/^\.SP/ { print; getline; lines[n] = lines[n] $0 "\n"; }
-/^\.TP/ { if (opts) { print; getline; lines[n] = lines[n] $0 "\n"; } }
-/^\.SS/ { if (sep) lines[n] = lines[n] ".PP\n"; }
-
-{ print; }
-
-/^\.\\\"= summary/ {
-  for (i = 0; i < 100; i++) {
-    if (!(i in head)) continue;
-    print ".SS \"" head[i] "\"";
-    print ".nf";
-    print lines[i] ".fi";
-  }
-}