Switched html docs output directory to default, fixing #348