1 files changed, 23 insertions, 23 deletions
diff --git a/website/publish.sh b/website/publish.sh
index 5959fe9..95fc770 100644
--- a/website/publish.sh
+++ b/website/publish.sh
@@ -1,23 +1,23 @@
-#!/usr/bin/sh
-
-set -e
-
-commit=`git log -n1 --format=%H`
-
-
-# Be sure that we are up-to-date
-pushd public
-git pull --ff-only
-popd
-
-rm -rf public/*
-
-hugo --minify
-
-pushd public
-
-git add --all .
-git commit -m "Published from $commit"
-git push
-
-popd
+#!/usr/bin/sh
+
+set -e
+
+commit=`git log -n1 --format=%H`
+
+
+# Be sure that we are up-to-date
+pushd public
+git pull --ff-only
+popd
+
+rm -rf public/*
+
+hugo --minify
+
+pushd public
+
+git add --all .
+git commit -m "Published from $commit"
+git push
+
+popd