From 4f60289d36e26b1e2fa8339f5d2878a2cce601fc Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Thu, 14 Jan 2016 15:16:14 +0100
Subject: [PATCH] _build/deploy-phpdoc-release.sh: Fix version badge status

---
 _build/deploy-phpdoc-release.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_build/deploy-phpdoc-release.sh b/_build/deploy-phpdoc-release.sh
index 58888e5..02dcea9 100755
--- a/_build/deploy-phpdoc-release.sh
+++ b/_build/deploy-phpdoc-release.sh
@@ -48,7 +48,7 @@ fi
 if [ "$DEPLOY_VERSION_BADGE" == "true" ]; then
     generate-badge.sh \
         "$GIT_DIR/badges/pico-version.svg" \
-        "release" "v$TRAVIS_TAG" "blue"
+        "release" "$TRAVIS_TAG" "blue"
 
     # commit version badge
     echo "Committing changes..."