Remove obsolete doc directories #1495
Merge branch 'develop' of github.com:dita-ot/dita-ot into develop