X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fgendocs_template;h=0c557243e09774642404cb8bef411f75baa2008f;hb=3a3fe58b91a00ba3cafd960a2e2355c842448e47;hp=33c6c2d9cbd1297bcf0b3e15a8a2229326395672;hpb=70676abc18115ca824ca0be6affc803759040d5e;p=pspp

diff --git a/doc/gendocs_template b/doc/gendocs_template
index 33c6c2d9cb..0c557243e0 100644
--- a/doc/gendocs_template
+++ b/doc/gendocs_template
@@ -3,12 +3,6 @@
 <!--#include virtual="/server/banner.html" -->
 <h2>%%TITLE%%</h2>
 
-<!-- This document is in XML, and xhtml 1.0 -->
-<!-- Please make sure to properly nest your tags -->
-<!-- and ensure that your final document validates -->
-<!-- consistent with W3C xhtml 1.0 and CSS standards -->
-<!-- See validator.w3.org -->
-
 <address>Free Software Foundation</address>
 <address>last updated %%DATE%%</address>