Hugs documentation

Ross Paterson ross@soi.city.ac.uk
Wed, 26 Feb 2003 10:51:11 +0000


On Tue, Feb 25, 2003 at 05:21:53PM -0800, Sigbjorn Finne wrote:
> > 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?
>
> ..and pdf, chm & dvi. Yes, I don't think it would be right to
> create derivative versions of any of these (hence the .txt files
> in docs/).

OK, that was the sense of "can't" that I meant.

I think it would be useful to stitch together docs/*.txt, the bugs web
page and other assorted snippets as the start of a new user's guide we can
present in multiple formats.  It can omit the parts that haven't changed
much, pointing at the old manual.  What source format would you prefer?