server/gen_site.sh

#!/bin/sh

BASEURL="localhost"

cd `dirname "$0"`

mkdir -p out
cd out

wget -c -m https://$BASEURL/ https://$BASEURL/connected/
Add a script for generating static site 2013-12-09 10:54:06 +00:00			`#!/bin/sh`

			`BASEURL="localhost"`

			cd `dirname "$0"`

			`mkdir -p out`
			`cd out`

Modification for production 2013-12-11 11:58:20 +00:00			`wget -c -m https://$BASEURL/ https://$BASEURL/connected/`