Merge branches 'master' and 'gh-pages' into develop
disable auto-regeneration
add _temp to .gitignore
add bash script for prebuilding site
add checkpoints to prebuild script
Merge branch 'feature/convert-to-prebuilt' into develop
Merge branch 'release/0.14'
make prebuild.sh executable
Merge branch 'hotfix/0.14.1'
Merge branch 'hotfix/0.14.1' into develop
fix and extend prebuild script
Merge branch 'hotfix/0.14.2'
Merge branch 'hotfix/0.14.2' into develop
fix prebuild script
Merge branch 'hotfix/0.14.3'
Merge branch 'hotfix/0.14.3' into develop
add post: regexs
update post: regexs
update post: regexs
Merge branch 'master' into develop