/^\.\\\".*/ { printf("%s\n", $0); next }
/^\..*/ {
# Process the dot command cutely.
# When we get a new .command finish off the old one.
if (in_header) printf("%s\n", end_header)
in_header=0
if ($1 == ".nf") { next }
if ($1 == ".SH") {
# Section header.
title=substr($0, length($1)+2, 1)
for (i=length($1)+3;i