Revision b82f99ff3186ccc00e45a4b9c10ca50db9b2b8e8

Committed on 12/11/2013 5:32 pm by gggeek <[email protected]> [GitHub Diff]

Fix tasks for generation of docs