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