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