1 files changed, 0 insertions, 18 deletions
diff --git a/bin/man2html2.awk b/bin/man2html2.awk
deleted file mode 100644
index 31c4cece3b9..00000000000
--- a/bin/man2html2.awk
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/nawk
-
-$0 ~ "</pre><H2>SEE ALSO</H2>" {
-  print $0
-  getline
-  while ( $0 !~ "^<P>$" && $0 !~ "^[ \t]*$" ) {
-    gsub("OTC[_a-zA-Z0-9]*_[_a-zA-Z0-9]*","<A HREF=\"&.html\">&</A>",$0)
-    gsub("OUX[_a-zA-Z0-9]*_[_a-zA-Z0-9]*","<A HREF=\"&.html\">&</A>",$0)
-    gsub("OTK[_a-zA-Z0-9]*_[_a-zA-Z0-9]*","<A HREF=\"&.html\">&</A>",$0)
-    print $0
-    if ( getline <= 0 )
-      $0 = ""
-  }
-  if ( $0 !~ "^[ \t]*$" )
-    print $0
-}
-
-{ print $0 }