Index: index.html
===================================================================
--- index.html	(revision 5171)
+++ index.html	(revision 5172)
@@ -19,6 +19,6 @@
 	<li> <a href="02_gtk/index.html">  4.2 GTK 
 	<li> <a href="03_lesstif/">   4.3 lesstif
 	<li> <a href="04_remote/">   4.4 remote
-	<li> <a href="05_batch+/">  4.5 batch
+	<li> <a href="05_batch/">  4.5 batch
 </ul>