1 files changed, 0 insertions, 57 deletions
diff --git a/www/Documentation.html b/www/Documentation.html
deleted file mode 100644
index 538cada7..00000000
--- a/www/Documentation.html
+++ /dev/null
@@ -1,57 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" 
-          "http://www.w3.org/TR/html4/strict.dtd">
-<!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ -->
-<html>
-<head>
-  <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
-  <title>KLEE - Documentation</title>
-  <link type="text/css" rel="stylesheet" href="menu.css">
-  <link type="text/css" rel="stylesheet" href="content.css">
-</head>
-<body>
-<!--#include virtual="menu.html.incl"-->
-<div id="content">
-  <!--*********************************************************************-->
-  <h1>KLEE Documentation</h1>
-  <!--*********************************************************************-->
-
-  <ol>
-    <li>
-      <a href="Tutorials.html">KLEE Tutorials</a>:
-      Simple examples of how to use KLEE to test programs.
-    </li>
-
-    <li>
-      <a href="klee-options.html">KLEE Options</a>:      
-      Overview of KLEE's main command-line options.
-    </li>
-
-    <li>
-      <a href="klee-files.html">KLEE Generated Files</a>:
-      Overview of the main files generated by KLEE.
-    </li>
-
-    <li>
-      <a href="klee-tools.html">KLEE Tools</a>:
-      Overview of the main auxiliary tools provided by KLEE.
-    </li>
-    
-    <li>
-      <a href="KQuery.html">KQuery Language Reference Manual</a>:
-      The reference manual for the KQuery language, used for interacting with
-      the KLEE solver (kleaver).
-    </li>
-
-    <li>
-      <a href="CoreutilsExperiments.html">OSDI'08 Coreutils Experiments</a>:
-      Some information about the Coreutils experiments presented in our <a href="http://www.doc.ic.ac.uk/~cristic/papers/klee-osdi-08.pdf">KLEE OSDI'08 paper</a>.
-    </li>
-
-    <li>
-      <a href="developers-guide.html">Developer's Guide</a>: 
-      A brief guide on working with the KLEE source code.
-    </li>
-  </ol>
-</div>
-</body>
-</html>