
default_install				&&

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