#!/usr/bin/awk -f # $Id: db-html2man,v 1.15 2002/09/04 21:24:55 rajo Exp $ function remove_lines(str) { # {{{ while (getline) { if (sub(str, "")) { print; break; } } return; } # }}} function handle_man(str) { # {{{ n = split(str, a, "-->"); for (i = 1; i <= n; i++) { #printf "a[%d] = '%s'\n", i, a[i]; if (a[i] ~ /", a[i]; else printf "%s", a[i]; } } # }}} function handle_multiline_man() { # {{{ while (getline) { if ($0 ~ /^[ \t]*-->$/) break; print; } return; } # }}} function handle_table(str) { # {{{ entries = 0; sub(/