From 77e18e661b30d1066e986332de6f0959e9c26d5e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fernando=20Gonz=C3=A1lez?= Date: Wed, 8 Oct 2014 11:43:07 +0200 Subject: [PATCH] Ahora que readthedocs funciona ya no necesitamos este fichero --- update-github.io.sh | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100755 update-github.io.sh diff --git a/update-github.io.sh b/update-github.io.sh deleted file mode 100755 index c388f7b..0000000 --- a/update-github.io.sh +++ /dev/null @@ -1,14 +0,0 @@ -set -e - -cd /tmp -git clone https://github.com/geotalleres/geotalleres.git -cd geotalleres -git submodule update --init -make html -ls | grep -v build | xargs rm -fr -git checkout gh-pages -cp -R build/html/* . -rm -fr build/ -git add -A -git commit -m "actualizacion" -git push