Revision 177eae09a2409dceb5f97d8b8b7ba34b4a55a88e

Committed on 22/07/2013 10:06 am by gggeek <gg@ez.no> [GitHub Diff]

More flexibility for output dirs for docs; remove dead code