--- a/doc/html/using_pyke/adding_facts.html
+++ b/doc/html/using_pyke/adding_facts.html
@@ -44,6 +44,7 @@
 <div class="normal-nav"><a href="creating_engine.html">Creating an Engine</a></div>
 <div class="normal-nav"><a href="adding_facts.html">Asserting Facts</a></div>
 <div class="normal-nav"><a href="proving_goals.html">Proving Goals</a></div>
+<div class="normal-nav"><a href="other_functions.html">Other functions</a></div>
 </div>
 <div class="normal-nav"><a href="../examples.html">Examples</a></div>
 <div class="normal-nav"><a href="../PyCon2008-paper.html">PyCon 2008 Paper</a></div>
@@ -151,6 +152,9 @@
 </div>
 <div class="right-item"><a href="proving_goals.html">Proving Goals</a><p>Using Pyke's API to prove goals from your Python program.</p>
 </div>
+<div class="right-item"><a href="other_functions.html">Other Functions</a><p>Other miscellaneous functions available that you might be interested
+in.</p>
+</div>
 
             </div>
           </td>
@@ -168,7 +172,7 @@
 
   <div id="last-modified">
     Page last modified
-    Thu, Mar 04 2010.
+    Fri, Mar 05 2010.
 
   </div>