Hugs documentation

[Sigbjorn Finne]

"Ross Paterson" <ross@soi.city.ac.uk> writes:
...
> >
> > ..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?
>

I don't have a strong preference, but DocBook, warts and all, makes the
most sense to me.

Just getting a document template set up that we can start adding material
to would be a great contribution.

--sigbjorn