- use $HOME/.netrc to read user/passwd - do not use insecured SSL
Duplicate some code from autotest_cgal to download the LATEST release, untar it and run the documentation testsuite on it. Clean up afterwards.
This script should be part of a (internal) release so the machine building releases or testsuites can use the appropriate version for a given release.