Streamline doc command

Make doc command behave like verify/combine and close #33.