[doctor] make sure jenkins deletes old files
[releng.git] / jjb / copper / docu-build.sh
2015-06-11 Aric GardnerUse new version docu-build.sh 06/806/12