link to validation page in text not just in the sidebar

lars-hellstrom · Aug 11, 2017 · 8d0820e · 8d0820e
1 parent b4680d3
commit 8d0820e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/validation/omvalidate.html b/validation/omvalidate.html
@@ -2,7 +2,7 @@
 <!--
 OpenMath Validatior
 Copyright 2017 David Carlisle
-The HTML and Javascript OpenMath Validation code in ths file was written
+The HTML and Javascript OpenMath Validation code in this file was written
 by David Carlisle, it may be used, distributed and modified without
 restriction other than any restrictions required by appropriate laws.
 -->
@@ -51,7 +51,8 @@
     <h1>OpenMath XML Syntax Test Page</h1>
     <div style="max-width:50em;clear:both">
     <p>The XML to be validated may be edited into the input box below directly,
-or by pasting in the text, or by dragging and dropping a file from your system file manager.</p>
+      or by pasting in the text, or by dragging and dropping a file from your system file manager.
+      See the <a href="https://openmath.github.io/validation/">Validation page</a> for more notes on the use of this tool.</p>
     <p>OpenMath, CD, CDGroup and STS files are accepted,<br>
     also Strict Content MathML (the subset of MathML aligned with OpenMath).</p>
     <p>Alternatively one of the (invalid) examples may be inserted using the buttons below.</p>