]> pere.pagekite.me Git - homepage.git/commitdiff
Generated.
authorPetter Reinholdtsen <pere@hungry.com>
Sat, 10 Aug 2019 10:03:33 +0000 (12:03 +0200)
committerPetter Reinholdtsen <pere@hungry.com>
Sat, 10 Aug 2019 10:03:33 +0000 (12:03 +0200)
blog/Makefile

index 125109d13392f77718f50baafde22c8b87889d18..44831f3d48f2a5d51b810bc0f7db1dd937381c49 100644 (file)
@@ -9,7 +9,7 @@ clean:
 update: index.html
        git add $$(cvs up|grep '^?' | cut -c3-) || true
        git commit -m "Generated." . || true
 update: index.html
        git add $$(cvs up|grep '^?' | cut -c3-) || true
        git commit -m "Generated." . || true
-       git push
+#      git push
        git push skolelinux
 web: update
        ssh maintainer.skolelinux.no "cd public_html/; git pull"
        git push skolelinux
 web: update
        ssh maintainer.skolelinux.no "cd public_html/; git pull"