Index: trunk/doc/index.html =================================================================== --- trunk/doc/index.html (revision 5651) +++ trunk/doc/index.html (revision 5652) @@ -80,7 +80,7 @@ GUI options: motif/lesstif, gtk-gdk, gtk-gl