
26 Feb
2003
26 Feb
'03
10:43 a.m.
"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