From b133795ebe385143f24b28e198c523ba6047afb0 Mon Sep 17 00:00:00 2001
From: Francesco Siddi <francesco.siddi@gmail.com>
Date: Sun, 5 Feb 2017 18:32:00 +0100
Subject: [PATCH] Docs: update deploy script

---
 deploy_docs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deploy_docs.sh b/deploy_docs.sh
index c0f93124..3d710959 100755
--- a/deploy_docs.sh
+++ b/deploy_docs.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
 cd docs
-command -v greadlink 2>/dev/null 2>&1 || { echo >&2 "Command mkdocs not found. Are you in the right venv?"; exit 1; }
+command -v mkdocs 2>/dev/null 2>&1 || { echo >&2 "Command mkdocs not found. Are you in the right venv?"; exit 1; }
 mkdocs build
 rsync -auv ./site/* armadillica@flamenco.io:/home/armadillica/flamenco.io/docs
-- 
GitLab