Make clean.sh clean up doc/internals, too.