Index: doc/user/index.html
===================================================================
--- doc/user/index.html	(revision 11938)
+++ doc/user/index.html	(revision 11939)
@@ -16,7 +16,7 @@
 	<li><a href="03_data/index.html">    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. Graphical and Batch User Interfaces </a>
-	<li><a href="06_feature/"> 6. Feature plugins </a>
+	<li><a href="06_feature/index.html"> 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/index.html">9. Appendix </a>