The repository my github page is hosted on
compile.sh ^
Compile the `source` directory and write the result on `result`
deploy.sh ^
Push `public` directory to the `gh-pages` branch
serve-php.sh ^
run a php server on the `source` directory on port 8000
serve-static.sh ^
run a static server on the `public` directory on port 8080