diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-12-05 12:04:06 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-12-05 12:04:06 -0500 |
| commit | bad7adde120773d46af83ab972967f26823e37b4 (patch) | |
| tree | a1e8aac4d22273e103ddf675ee88f19b3fee2e0a /src/cjr_print.sml | |
| parent | 4635acd2d4e4404b2b1a89909cd765ac310d62c5 (diff) | |
New .urp directive: jsFile
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 15 |
1 files changed, 4 insertions, 11 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 9c456863..774b95b9 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -2944,17 +2944,10 @@ fun p_file env (ds, ps) = 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 |