From 9016170e3f0715c2235e5cea98a79aada987063a Mon Sep 17 00:00:00 2001 From: Danny Yoo Date: Tue, 8 Nov 2011 22:28:15 -0500 Subject: [PATCH] updating file sizes in the docs to files that are still sorta huge, but not so bad --- scribblings/cs019.scrbl | 2 +- scribblings/manual.scrbl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/scribblings/cs019.scrbl b/scribblings/cs019.scrbl index e0cb70a..cba33c5 100644 --- a/scribblings/cs019.scrbl +++ b/scribblings/cs019.scrbl @@ -127,7 +127,7 @@ However, it can also be packaged with @filepath{whalesong}. $ ls -l hello.html -rw-r--r-- 1 dyoo dyoo 3817 2011-09-10 15:02 hello.html $ ls -l hello.js - -rw-r--r-- 1 dyoo dyoo 2129028 2011-09-10 15:02 hello.js + -rw-r--r-- 1 dyoo dyoo 1146428 2011-09-10 15:02 hello.js }| Running @tt{whalesong build} will produce @filepath{.html} and diff --git a/scribblings/manual.scrbl b/scribblings/manual.scrbl index b4aed56..03b1d44 100644 --- a/scribblings/manual.scrbl +++ b/scribblings/manual.scrbl @@ -261,7 +261,7 @@ However, it can also be packaged with @filepath{whalesong}. $ ls -l hello.html -rw-r--r-- 1 dyoo dyoo 3817 2011-09-10 15:02 hello.html $ ls -l hello.js - -rw-r--r-- 1 dyoo dyoo 2129028 2011-09-10 15:02 hello.js + -rw-r--r-- 1 dyoo dyoo 841948 2011-09-10 15:02 hello.js }|