default_install && if [ $HTMLDOC == y ] then make out=www web-install fi