Code

INSTALL: Document the optional documentation tools
authorJonas Fonseca <fonseca@diku.dk>
Tue, 5 Feb 2008 12:53:38 +0000 (13:53 +0100)
committerJonas Fonseca <fonseca@diku.dk>
Tue, 5 Feb 2008 12:53:38 +0000 (13:53 +0100)
commit5f053ea3204422b8a2736b18164865dcf6b5e36c
tree005da3cd20174186d5129df23d7310e02842326c
parentc3c24b0b819eb1bf56822c53752d6bddcda9d236
INSTALL: Document the optional documentation tools
INSTALL