#!/bin/sh echo "started build" # make build directory and copy original files there for preflighting rm -rf build mkdir build cp robots.txt *.css build/ cp -R j build/ cp -R i build/ rm -f examples/*.pyc cp -R examples build/ cp .htaccess build/ echo "minimizing HTML" # minimize HTML (NB: this script is quite fragile and relies on knowledge of how I write HTML) for f in *.html; do python3 util/htmlminimizer.py "$f" build/"$f" done # build sitemap ls build/*.html | sed -e "s|build/|http://diveintopython3.org/|g" -e "s|/index.html|/|g" > build/sitemap.txt echo "adding evil tracking code" # add Google Analytics script for f in build/*.html; do cat "$f" j/ga.js > build/tmp mv build/tmp "$f" done # minimize JS and CSS echo "minimizing JS" revision=`hg log|grep changeset|cut -d":" -f3|head -1` java -jar util/yuicompressor-2.4.2.jar build/j/prettify.js > build/j/prettify.min.js java -jar util/yuicompressor-2.4.2.jar build/j/dip3.js > build/j/dip3.min.js # combine jQuery and our script echo "combining JS" cat build/j/jquery.min.js build/j/prettify.min.js build/j/dip3.min.js > build/j/$revision.js sed -i -e "s|||g" build/*.html sed -i -e "s|||g" build/*.html sed -i -e "s|