diff options
Diffstat (limited to 'bin/man2html2.awk')
-rw-r--r-- | bin/man2html2.awk | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/bin/man2html2.awk b/bin/man2html2.awk deleted file mode 100644 index 149c939ce18..00000000000 --- a/bin/man2html2.awk +++ /dev/null @@ -1,18 +0,0 @@ -#!/usr/bin/gawk - -$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 } |