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 :-)
--sigbjorn
----- Original Message -----
From: "Ross Paterson"
What is the status of the Hugs 98 User Manual? Can it be updated? _______________________________________________
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/).
Don't know about the "can't" bit (nor do I want to, really.)
--sigbjorn
----- Original Message -----
From: "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?
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?
"Ross Paterson"
..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
It seems quite likely that someone teaching a class using Hugs has put together a short intro to the major Hugs commands and would be willing to sign that over to the Hugs project (or whoever it is that holds copyrights for Hugs bits) for us to use as a base. -- Alastair
On Thu, Mar 06, 2003 at 02:56:22PM +0000, Alastair Reid wrote:
It seems quite likely that someone teaching a class using Hugs has put together a short intro to the major Hugs commands and would be willing to sign that over to the Hugs project (or whoever it is that holds copyrights for Hugs bits) for us to use as a base.
Another possibility is to rip off some GHCi docs.
participants (3)
-
Alastair Reid -
Ross Paterson -
Sigbjorn Finne