On 1/21/13 3:06 PM, H. S. Teoh wrote:
I have to admit that ddoc hasn't really done it for me (yet). I think the impediment is that the default output needs some work (mainly in CSS and indexing) before it is useful as actual documentation.
We should make a few macro batteries (HTML, mobi, pdf) readily available in e.g. tools/ or examples/.
Andrei
