From f9c9d5e342ae45c511a5ea62d78a0bf5ce967738 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 20 Nov 2012 09:38:28 -0800
Subject: [PATCH] updated website

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 doc/footer.html        | 3 ++-
 doc/update_website.cmd | 4 ++++
 doc/website.dox        | 4 +++-
 3 files changed, 9 insertions(+), 2 deletions(-)
 create mode 100644 doc/update_website.cmd

diff --git a/doc/footer.html b/doc/footer.html
index 6400db92b..724bd6e7c 100644
--- a/doc/footer.html
+++ b/doc/footer.html
@@ -1,3 +1,4 @@
-<div class="tabs"></div>
+<div id="nav">
+</div>
 </body>
 </html>
diff --git a/doc/update_website.cmd b/doc/update_website.cmd
new file mode 100644
index 000000000..1b1ede627
--- /dev/null
+++ b/doc/update_website.cmd
@@ -0,0 +1,4 @@
+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 html \\research\root\web\external\en-us\UM\redmond\projects\z3
\ No newline at end of file
diff --git a/doc/website.dox b/doc/website.dox
index f6bc7fe6c..91034aafa 100644
--- a/doc/website.dox
+++ b/doc/website.dox
@@ -6,10 +6,12 @@
    
    <b>The Z3 website moved to <a class="el" href="http://z3.codeplex.com">z3.codeplex.com</a>.</b>
 
+   The old Z3 website can be found <a class="el" href="http://research.microsoft.com/en-us/um/redmond/projects/z3/old/index.html">here</a>.
+
    This website hosts the automatically generated documentation for the Z3 APIs.
 
    - \ref capi 
    - <a class="el" href="class_microsoft_1_1_z3_1_1_context.html">.NET API</a>
    - <a class="el" href="z3.html">Python API</a>
-   - Try Z3 online at <a href="http://rise4fun.com/z3py">RiSE4Fun</a>.
+   - Try Z3 online at <a href="http://rise4fun.com/z3py">RiSE4Fun</a> using <a href="http://rise4fun.com/z3py">Python</a> or <a href="http://rise4fun.com/z3">SMT 2.0</a>.
 */