On Saturday 12 November 2005 02:30, Benjamin Franksen wrote:
On Friday 11 November 2005 13:56, Wolfgang Jeltsch wrote:
Am Donnerstag, 10. November 2005 12:27 schrieb Simon Peyton-Jones:
[...]
* The GHC user manual [currently generated using DocBook]
I think it should continue to be written in DocBook. (It should switch to DocBook XML if it's still using SGML DocBook.) XML documents are "type-safe" in contrast to LaTeX documents, for example. XML is well supported. DocBook stresses logical markup and allows very specific markup and therefore supports conversion into different formats (HTML, PDF, ...) very well. Again, what do others think?
Yes. In fact I like the current GHC manual as it is.
Sorry, that comment seems to miss the point. What I wanted to say is: However the source format is going to be changed to better support user contributions, I would like it to remain similar in its (processed) end user appearance. Ben