update: index.html
git add $$(cvs up|grep '^?' | cut -c3-) || true
- git commit -m "Generated." .
- git push; git push skolelinux
+ git commit -m "Generated." . || true
+ git push
+ git push skolelinux
web: update
- ssh user.skolelinux.no "cd public_html/; git pull"
+ ssh maintainer.skolelinux.no "cd public_html/; git pull"