[dev] Building doc tree

[Anil Madhavapeddy]

michael@hoennig.de wrote:
> 
> I don't think it's a good idea to expect Docbook formats for manuals.

We didnt though ... I havent seen any sign of any manuals, full stop :-)

> Only few people would want to bother with all the tools. We sew it here
> too: it's quite a hassle to get all these tools to run. This makes
> little left who are willing to write docs at all. I would go for: make
> it as easy as possible for doc writers.

If manuals are around, I'll happily convert them to DocBook.

--                      
 Anil Madhavapeddy / "I told you not to flush that!" 
 anil@recoil.org   /    Stern Lecture Plumbing