Index: doc/user/index.html
===================================================================
--- doc/user/index.html	(revision 5754)
+++ doc/user/index.html	(revision 5755)
@@ -11,14 +11,14 @@
 <h2> Table of Contents </h2>
 <p>
 <ul class="toc">
-	<li> <a href="01_intro/index.html">   1. Introduction
-	<li> <a href="02_model/index.html">   2. Model of the world
-	<li><a href="03_data/">    3. Where data is stored
-	<li><a href="04_invoc/index.html">      4. Program Invocation
-	<li><a href="05_ui/index.html">   5. User Interface 
-	<li><a href="06_feature/"> 6. Feature plugins
-	<li><a href="07_io/">      7. File formats
-	<li><a href="08_util/">    8. Utilities
-	<li><a href="09_appendix/">9. Appendix
+	<li> <a href="01_intro/index.html">   1. Introduction </a>
+	<li> <a href="02_model/index.html">   2. Model of the world </a>
+	<li><a href="03_data/">    3. Where data is stored </a>
+	<li><a href="04_invoc/index.html">      4. Program Invocation </a>
+	<li><a href="05_ui/index.html">   5. User Interface </a>
+	<li><a href="06_feature/"> 6. Feature plugins </a>
+	<li><a href="07_io/">      7. File formats </a>
+	<li><a href="08_util/">    8. Utilities </a>
+	<li><a href="09_appendix/">9. Appendix </a>
 </ul>