diff options
Diffstat (limited to 'htdocs/docs')
| -rwxr-xr-x | htdocs/docs/index.html | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/htdocs/docs/index.html b/htdocs/docs/index.html index 6f39f40..df9c9f6 100755 --- a/htdocs/docs/index.html +++ b/htdocs/docs/index.html @@ -1,5 +1,5 @@ -<!--#set var="revision" value="\$Id: index.html,v 1.11 2005-06-03 04:59:28 ot Exp $" ---><!--#set var="date" value="\$Date: 2005-06-03 04:59:28 $" +<!--#set var="revision" value="\$Id: index.html,v 1.12 2005-06-21 05:39:27 ot Exp $" +--><!--#set var="date" value="\$Date: 2005-06-21 05:39:27 $" --><!--#set var="title" value="Documentation Index for The W3C Markup Validation Service" --><!--#set var="relroot" value="../" --><!--#include virtual="../header.html" --> @@ -19,7 +19,7 @@ <ol> <li><a href="#doc_help">Help and FAQ</a></li> <li><a href="#doc_user">User's Guide</a></li> - <li><a href="#doc_errors">Error messages and explanations</li> + <li><a href="#doc_errors">Error messages and explanations</a></li> <li><a href="#doc_favelets">Favelets</a></li> <li><a href="#doc_accesskeys">accesskeys</a></li> </ol> @@ -31,8 +31,9 @@ <li><a href="#doc_source">Download / Source</a></li> <li><a href="#doc_install">Installation Guide</a></li> <li><a href="#doc_devel">Developer Information</a></li> + </ol> </li> -</ol> +</ul> </div> <h3 id="docs_all">For beginners and experts alike</h3> |