Carsten Ziegeler wrote:
Ok, I think it's safer to just vote on this as well - again the majority wins. We already "agreed" on using just HTML for the docs.Please cast your votes for: a) Include the docs in the distribution
-0, mostly because we're trying to slim down the core
b) Provide a separate docs package to download
+1, see above Tony
