mk/dc.sh

set -e
 
docsdir="docs"
 
rm -rf "$docsdir/html" "$docsdir/man"