build.sh

#!/bin/bash
# Amazing static site generator
# Works for PHP and HTML sites
# Assumes web root to be in /web
# Dumps the site into a directory named "static"
#
# rm -rf static/*; seq 1 4 | time parallel -j 4 ./build.sh 900{}
 
PORT=${1:-9999}
 
php -S localhost:$PORT -t html >/dev/null &
PID=$!
sleep 0.3
wget -r -l inf --no-remove-listing --adjust-extension -nH --no-use-server-timestamps -nc -q -P static http://localhost:$PORT 
kill $PID