result/HTML/doc2.htm.err

   1 ./test/HTML/doc2.htm:10: HTML parser error : Misplaced DOCTYPE declaration
   2 <!-- END Naviscope Javascript --><!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Tra
   3                                  ^