Remove documentation output and tweak make.bat