diff options
Diffstat (limited to 'htdocs/docs')
| -rwxr-xr-x | htdocs/docs/users.html | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/htdocs/docs/users.html b/htdocs/docs/users.html index 49e1f84..3e80b32 100755 --- a/htdocs/docs/users.html +++ b/htdocs/docs/users.html @@ -1,5 +1,5 @@ -<!--#set var="revision" value="\$Id: users.html,v 1.21 2005-04-25 05:18:07 ot Exp $" ---><!--#set var="date" value="\$Date: 2005-04-25 05:18:07 $" +<!--#set var="revision" value="\$Id: users.html,v 1.22 2005-07-29 06:23:06 ot Exp $" +--><!--#set var="date" value="\$Date: 2005-07-29 06:23:06 $" --><!--#set var="title" value="User Documentation for The W3C Markup Validation Service" --><!--#set var="relroot" value="../" --><!--#include virtual="../header.html" --> @@ -36,6 +36,11 @@ (or something like that, depending on your browser) and choose the file you want to upload in the usual manner for your OS. </p> + <p> + Alternatively, you can also copy and paste the <em>complete</em> markup + (including a <a href="help.html#faq-doctype">DOCTYPE declaration</a> + for a document in the "direct input" box. + </p> </div> <div id="Introduction" class="stb"> |