| Could you please provide sources to the Hugs documentation, too? The fact
| that you offer several produced formats and that the HTML looks
| like it has been generated from DocBook markup (the Docbook HTML
| stylesheets generate a rather unique look:), tells me that you have such
| sources. Why not distribute them?
At this time, we do not distribute sources for the Hugs documentation,
and have some strong reservations about changing our policy on this.
However, John and I (i.e., the authors of the manual) will be meeting
next month, and we will discuss this issue then; neither of us has the
bandwidth to do it before that.
For information, the documentation is actually written using LaTeX macros,
and a custom script (written in Haskell, of course) is used to generate
the html version. I don't believe I've ever even heard of DocBook!
All the best,
Mark
