From e7f43bd409005a2ee7e381dfcaf8a455d541246e Mon Sep 17 00:00:00 2001 From: Mark Pilgrim Date: Thu, 27 Aug 2009 16:14:28 -0400 Subject: [PATCH] build HTML distribution (but not upload it yet) --- publish | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/publish b/publish index 9fa7efe..a9404d7 100755 --- a/publish +++ b/publish @@ -8,6 +8,8 @@ die () { echo "started build" +revision=`hg tip | grep changeset|cut -d":" -f2|cut -d" " -f4` + # make build directory and copy original files there for preflighting rm -rf build mkdir build @@ -18,6 +20,21 @@ rm -f examples/*.pyc cp -R examples build/ cp .htaccess build/ +echo "building HTML distribution" +htmldir=build/diveintopython3-r"$revision" +mkdir "$htmldir" +cp *.html "$htmldir"/ +cp dip3.css "$htmldir"/ +mkdir "$htmldir"/i +cp i/*.png "$htmldir"/i/ +mkdir "$htmldir"/j +cp j/dip3.js j/html5.js j/jquery.js j/prettify.js "$htmldir"/j/ +mkdir "$htmldir"/examples +cp examples/*.jpg examples/*.json examples/*.pickle examples/*.py examples/*.txt examples/*.xml "$htmldir"/examples/ +cd build/ && \ + zip -9rq diveintopython3-r"$revision".zip diveintopython3-r"$revision" && \ +cd .. + echo "linting JS" [ -n "$(which js 2>/dev/null)" ] || die "SpiderMonkey (js or js.exe) not found"