Uncomment the xmlns.

jessealama · Jul 4, 2013 · d3ec83f · d3ec83f
1 parent 0a640c0
commit d3ec83f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tstp2html.xsltxt b/tstp2html.xsltxt
@@ -24,7 +24,7 @@ tpl [/] {
 
 tpl [tstp] {
   <html {
-    @"xmlns" = "http://www.w3.org/1999/xhtml";
+    //  @"xmlns" = "http://www.w3.org/1999/xhtml";
     @xml:lang = "en";
     @"lang" = "en";
     <head {