Hugs documentation

[Ross Paterson]

On Tue, Feb 25, 2003 at 03:50:53PM -0800, Sigbjorn Finne wrote:
> > What is the status of the Hugs 98 User Manual?  Can it be updated?
>
> Its author prefers not to give up the sources to it, so
> a rewrite would be the proper thing to do. It's been
> a ToDo item for quite a while.. So, if anyone's got the
> enthusiasm, docs/ is the subdirectory to commit stuff
> into :-)

Well it's out there as a bunch of web pages, but you're saying those
can't be altered to make a new version, right?