diff src/cjr_print.sml @ 2197:6eae499c56cb

New .urp directive: jsFile
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Dec 2015 12:04:06 -0500
parents f55b0e45422f
children 6fb9232ade99
line wrap: on
line diff
--- a/src/cjr_print.sml	Fri Nov 27 15:28:12 2015 -0500
+++ b/src/cjr_print.sml	Sat Dec 05 12:04:06 2015 -0500
@@ -2944,17 +2944,10 @@
                                           file = "app." ^ timestamp ^ ".js"}
 
         val allScripts =
-            let
-                val scripts =
-                    "<script type=\\\"text/javascript\\\" src=\\\""
-                    ^ app_js
-                    ^ "\\\"></script>\\n"
-            in
-                foldl (fn (x, scripts) =>
-                          scripts
-                          ^ "<script type=\\\"text/javascript\\\" src=\\\"" ^ x ^ "\\\"></script>\\n")
-                      scripts (Settings.getScripts ())
-            end
+            foldl (fn (x, scripts) =>
+                      scripts
+                      ^ "<script type=\\\"text/javascript\\\" src=\\\"" ^ x ^ "\\\"></script>\\n")
+                  "" (Settings.getScripts () @ [app_js])
 
         fun p_page (ek, s, n, ts, ran, side, dbmode, tellSig) =
             let