#!/bin/sh
# Assume call with pwd = 'doc'.
# Remove all files generated by 'manpage_regen'

rm    ../tools/rules/manpages
rm    *.n
rm    *.html
rm    ../htdocs/mp.*.html