Revision b82f99ff3186ccc00e45a4b9c10ca50db9b2b8e8

Committed on 12/11/2013 5:32 pm by gggeek <gg@ez.no> [GitHub Diff]

Fix tasks for generation of docs