# HG changeset patch # User Karn Kallio # Date 1304731300 16200 # Node ID d674fb9499c4c4f88ea688ee96385d22bba054f7 # Parent 913d9c2f55c9091bed07bed51ce2c5c26adcdfec Include type attribute in script tag for generating valid XHTML. diff -r 913d9c2f55c9 -r d674fb9499c4 src/cjr_print.sml --- a/src/cjr_print.sml Fri May 06 16:24:45 2011 -0430 +++ b/src/cjr_print.sml Fri May 06 20:51:40 2011 -0430 @@ -2661,14 +2661,14 @@ | _ => let val scripts = - "\\n" in foldl (fn (x, scripts) => scripts - ^ "\\n") + ^ "\\n") scripts (Settings.getScripts ()) end in