1#!/bin/sh 2# Assume call with pwd = 'doc'. 3# Remove all files generated by 'manpage_regen' 4 5rm ../tools/rules/manpages 6rm *.n 7rm *.html 8rm ../htdocs/mp.*.html 9