diff src/monoize.sml @ 643:aa2290c32ce2

Avoid any JavaScript when pages don't need it; update demo prose
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 10:44:26 -0400
parents 230654093b51
children fb2a0e76dcef
line wrap: on
line diff
--- a/src/monoize.sml	Sun Mar 08 20:34:21 2009 -0400
+++ b/src/monoize.sml	Tue Mar 10 10:44:26 2009 -0400
@@ -1924,9 +1924,7 @@
             in
                 case tag of
                     "body" => normal ("body", NONE,
-                                      SOME (L'.EStrcat ((L'.EPrim (Prim.String "<script src=\"/app.js\"></script>"), loc),
-                                                        (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]),
-                                                         loc)), loc))
+                                      SOME (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]), loc))
 
                   | "dyn" =>
                     (case attrs of