#!/bin/sh
man2html divergefs | \
sed -e '/Content-type: text\/html/,+1d' \
    -e '/Return to Main Content/d' \
    -e '/<A HREF="#.*">/d' \
    -e '/<A NAME=".*">/d' \
    -e '/<HR>/d' \
    -e 's/DIVERGEFS/divergefs/' \
    -e '/<H1>divergefs/d' \
    -e '/This document was created by/,+2d' \
    -e 's/Section: Devices and Network Interfaces (4)//' \
    -e 's/\/cgi-bin\/man\/man2html/http:\/\/plan9.bell-labs.com\/magic\/man2html\//' \
    -e 's/man2html\/?\([1-9]\)+/man2html\/\1\//' > divergefs.html