Index: doc.html =================================================================== --- doc.html (revision 6930) +++ doc.html (revision 6931) @@ -12,9 +12,9 @@