Index: doc/user/index.html
===================================================================
--- doc/user/index.html	(revision 5752)
+++ doc/user/index.html	(revision 5753)
@@ -11,13 +11,12 @@
 <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="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
 </ul>
 
-