Fixed publishing on non-Windows

- changed the line-endings to UNIX

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