[m-dev.] for review: More WWW changes

[Tyson Dowd]

On 01-Sep-1998, Peter David ROSS <petdr at cs.mu.OZ.AU> wrote:
> Hi,
> 
> Tyson can you have a look at these changes.
> 
> Pete.
> 

> -local_install:
> -	for dir in bench papers;		\
> +local:
> +	[ -d doc ] || mkdir doc
> +	[ ! -d mercury ] || (cvs update mercury/doc;	\
> +		cvs update mercury/library;		\
> +		cvs update mercury/compiler/notes)
> +	[ -d mercury ] || (cvs checkout mercury/doc;	\
> +		cvs checkout mercury/library;		\
> +		cvs checkout mercury/compiler/notes)
> +	echo "LIBRARY_DIR=`pwd`/mercury/library"  > mercury/Mmake.common
> +	(cd mercury/doc; mmake html ps)

doc/Mmakefile has

.PHONY: install_webpage
install_webpage: library-chapters.texi split_html ps
	... other stuff ...

We still want split_html -- people from Europe don't take kindly to
being forced to download large .html files all in one go.
It's fine to have complete .html files as well, but split_html must
be available.

I'm not sure what "library-chapters.texi" does, but you should convince
me it's unnecessary before removing it.

Other than that, it looks fine.

-- 
Those who would give up essential liberty to purchase a little temporary
safety deserve neither liberty nor safety.     - Benjamin Franklin

Tyson Dowd   <tyson at tyse.net>   http://tyse.net