diff --git a/TestON/Documentation/TestON_Document/toc-TestON.tests.HAsingleInstanceRestart.dependencies.obelisk-module.html b/TestON/Documentation/TestON_Document/toc-TestON.tests.HAsingleInstanceRestart.dependencies.obelisk-module.html
new file mode 100644
index 0000000..b00fff2
--- /dev/null
+++ b/TestON/Documentation/TestON_Document/toc-TestON.tests.HAsingleInstanceRestart.dependencies.obelisk-module.html
@@ -0,0 +1,36 @@
+<?xml version="1.0" encoding="ascii"?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+          "DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+<head>
+  <title>obelisk</title>
+  <link rel="stylesheet" href="epydoc.css" type="text/css" />
+  <script type="text/javascript" src="epydoc.js"></script>
+</head>
+
+<body bgcolor="white" text="black" link="blue" vlink="#204080"
+      alink="#204080">
+<h1 class="toc">Module obelisk</h1>
+<hr />
+  <h2 class="toc">Classes</h2>
+    <a target="mainFrame" href="TestON.tests.HAsingleInstanceRestart.dependencies.obelisk.ObeliskTopo-class.html"
+     >ObeliskTopo</a><br />  <h2 class="toc">Functions</h2>
+    <a target="mainFrame" href="TestON.tests.HAsingleInstanceRestart.dependencies.obelisk-module.html#run"
+     >run</a><br />  <h2 class="toc">Variables</h2>
+    <a target="mainFrame" href="TestON.tests.HAsingleInstanceRestart.dependencies.obelisk-module.html#__package__"
+     >__package__</a><br />    <a target="mainFrame" href="TestON.tests.HAsingleInstanceRestart.dependencies.obelisk-module.html#topos"
+     >topos</a><br /><hr />
+<span class="options">[<a href="javascript:void(0);" class="privatelink"
+    onclick="toggle_private();">hide&nbsp;private</a>]</span>
+
+<script type="text/javascript">
+  <!--
+  // Private objects are initially displayed (because if
+  // javascript is turned off then we want them to be
+  // visible); but by default, we want to hide them.  So hide
+  // them unless we have a cookie that says to show them.
+  checkCookie();
+  // -->
+</script>
+</body>
+</html>