1 files changed, 0 insertions, 55 deletions
diff --git a/doc/file_list.html b/doc/file_list.html
deleted file mode 100644
index 9393d92..0000000
--- a/doc/file_list.html
+++ /dev/null
@@ -1,55 +0,0 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
-  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<html>
-  <head>
-    <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
-    
-      <link rel="stylesheet" href="css/full_list.css" type="text/css" media="screen" charset="utf-8" />
-    
-      <link rel="stylesheet" href="css/common.css" type="text/css" media="screen" charset="utf-8" />
-    
-
-    
-      <script type="text/javascript" charset="utf-8" src="js/jquery.js"></script>
-    
-      <script type="text/javascript" charset="utf-8" src="js/full_list.js"></script>
-    
-
-    <base id="base_target" target="_parent" />
-  </head>
-  <body>
-    <script type="text/javascript" charset="utf-8">
-      if (window.top.frames.main) {
-        document.getElementById('base_target').target = 'main';
-        document.body.className = 'frames';
-      }
-    </script>
-    <div id="content">
-      <h1 id="full_list_header">File List</h1>
-      <div id="nav">
-        
-          <span><a target="_self" href="class_list.html">
-            Classes
-          </a></span>
-        
-          <span><a target="_self" href="method_list.html">
-            Methods
-          </a></span>
-        
-          <span><a target="_self" href="file_list.html">
-            Files
-          </a></span>
-        
-      </div>
-      <div id="search">Search: <input type="text" /></div>
-
-      <ul id="full_list" class="file">
-        
-
-  <li class="r1"><a href="index.html" title="README">README</a></li>
-  
-
-      </ul>
-    </div>
-  </body>
-</html>