From 8a7e1c4f638cf0cad009d18e065b517f83b4aebc Mon Sep 17 00:00:00 2001 From: Jonas Dellinger Date: Thu, 4 Jun 2020 18:20:29 +0200 Subject: [PATCH] Executive permissions for the docs build script --- SpotifyAPI.Docs/docs.sh | 2 ++ 1 file changed, 2 insertions(+) mode change 100644 => 100755 SpotifyAPI.Docs/docs.sh diff --git a/SpotifyAPI.Docs/docs.sh b/SpotifyAPI.Docs/docs.sh old mode 100644 new mode 100755 index 654a4b13..a2cb47df --- a/SpotifyAPI.Docs/docs.sh +++ b/SpotifyAPI.Docs/docs.sh @@ -1,3 +1,5 @@ +#!/bin/bash + if [ -z "$APPVEYOR_PULL_REQUEST_NUMBER" ]; then if [ "$APPVEYOR_REPO_BRANCH" = "master" ]; then echo "Building docs..."