Merge pull request #2644 from maxGimeno/Doc_add_one_column_to_overview-GF

Add a 3rd diff column to the documentation overview page.
This commit is contained in:
Laurent Rineau
2017-12-05 18:27:09 +01:00
5 changed files with 180 additions and 99 deletions
@@ -63,7 +63,7 @@ export PYTHONPATH
PATH=/home/cgal-testsuite/local/bin:$PATH
export PATH
cd "$PWD/doc/scripts"
bash -$- ./test_doxygen_versions.sh /home/cgal-testsuite/local/bin/doxygen '' /srv/CGAL/www/Members/Manual_doxygen_test
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/
;;