[m-dev.] for review: delete tools/install_webpage

[Peter Ross]

On 17-Dec-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Tyson and/or Peter Ross, is this change OK?
> 
> --------------------
> 
> tools/install_webpage:
> 	Delete this file, since the WWW page is now installed
> 	using w3/Makefile rather than tools/install_webpage.
> 
> cvs diff: tools/install_webpage was removed, no comparison available
> 
Fine.