Update the script

- The directory of the doc results is now `output1/` instead of `output/`.

- The script was considering that CGAL-4.11.1-I-103 was `master`, whereas
  it is build from a release branch.
This commit is contained in:
Laurent Rineau
2017-12-13 12:07:30 +01:00
parent 49313fe10c
commit 8f3e229802
@@ -64,10 +64,9 @@ PATH=/home/cgal-testsuite/local/bin:$PATH
export PATH
cd "$PWD/doc/scripts"
bash -$- ./process_doc.sh /home/cgal-testsuite/local/bin/doxygen /home/mgimeno/bin/doxygen /srv/CGAL/www/Members/Manual_doxygen_test
case "$CGAL_RELEASE_ID" in
*-I-*) rsync -a --delete "/srv/CGAL/www/Members/Manual_doxygen_test/${CGAL_RELEASE_ID}/output/" /srv/CGAL/www/doc/master/
;;
esac
if head -2 ../../.scm-branch | grep -q cgal/master; then
rsync -a --delete "/srv/CGAL/www/Members/Manual_doxygen_test/${CGAL_RELEASE_ID}/output1/" /srv/CGAL/www/doc/master/
fi
rm -rf "${CGAL_DOC_BUILD}"
# Then gzip the log file, to save space
exec