martintrojer / martintrojer.github.com

Martin's Programming Blog

update the site

$ git checkout hugo

# change stuff

$ hugo  # create public/

$ git add .
$ git commit
$ git push

$ git checkout master

$ cd public
$ yes | cp -r * ..

$ git add .
$ git commit
$ git push