diff --git a/tools/deploy-doc.sh b/tools/deploy-doc.sh
old mode 100755
new mode 100644
index 465cd01..91a97b4
--- a/tools/deploy-doc.sh
+++ b/tools/deploy-doc.sh
@@ -1,7 +1,6 @@
 #!/bin/sh
 
 holesInRoot="$(pwd)"
-echo $holesInRoot"/doc.generated/"
 mkdir /tmp/holes-in-deploy/
 cd /tmp/holes-in-deploy/
 git clone git@github.com:wanadev/holes-in.git
@@ -10,6 +9,7 @@ git checkout gh-pages
 rm -rf ./*
 cp -R $holesInRoot"/doc.generated/." .
 
-git commit -am $0
+git add -A
+git commit -m $0
 git push
 rm -rf  /tmp/holes-in-deploy/
diff --git a/tools/publish-doc.sh b/tools/publish-doc.sh
new file mode 100755
index 0000000..3c0157a
--- /dev/null
+++ b/tools/publish-doc.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+holesInRoot="$(pwd)"
+mkdir /tmp/holes-in-deploy/
+cd /tmp/holes-in-deploy/
+git clone git@github.com:wanadev/holes-in.git
+cd holes-in/
+git checkout gh-pages
+rm -rf ./*
+cp -R $holesInRoot"/doc.generated/." .
+
+git commit -am $0
+git push
+rm -rf  /tmp/holes-in-deploy/