From db7cd221444afce64803e66594d56dc8e7a0843c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 10 Mar 2009 10:44:26 -0400
Subject: Avoid any JavaScript when pages don't need it; update demo prose

---
 src/sources | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/sources')

diff --git a/src/sources b/src/sources
index f5574365..ba453f62 100644
--- a/src/sources
+++ b/src/sources
@@ -160,6 +160,9 @@ cjr_print.sml
 cjrize.sig
 cjrize.sml
 
+scriptcheck.sig
+scriptcheck.sml
+
 prepare.sig
 prepare.sml
 
-- 
cgit v1.2.3