forked from public/pysim
05fb5246d4
* contrib/jenkins.sh: Fix PUBLISH * contrib/jenkins.sh: first upload manuals, then execute physical tests