REM Script for updating the website containing the Z3 API documentation.
REM You must be inside the Microsoft network to execute this script, and 
REM robocopy must be in your PATH.
robocopy /S api\html \\research\root\web\external\en-us\UM\redmond\projects\z3