Improve the validate-xref script.

kahatlen · kahatlen · commit 9814a0421142 · 2016-03-20T09:03:46.000+01:00
The script currently wraps the xref contents in a &lt;div&gt; element before
it passes it to the validator. The actual xref generated by list.jsp
wraps it in &lt;div&gt;&lt;pre&gt;...&lt;/pre&gt;&lt;/div&gt;. Make the script do the same.
This removes some false positives, where the xref starts by closing
the &lt;pre&gt; tag and ends by opening a new one. It also makes the script
detect more errors, where the xref uses tags not allowed inside a
&lt;pre&gt; element.
diff --git a/tools/validate-xref b/tools/validate-xref
@@ -61,13 +61,13 @@ xml_begin() {
 <html xmlns="http://www.w3.org/1999/xhtml">
 <head><title></title></head>
 <body>
-<div>
+<div><pre>
 EOF
 }
 
 xml_end() {
     cat <<EOF
-</div>
+</pre></div>
 </body>
 </html>
 EOF
