From 83b1efee36ff1fbc51b4e700986d682c8fbec5fb Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Wed, 3 Apr 2019 12:29:11 +0200
Subject: [PATCH] Docker: dont mess with the bash syntax ('>' is for
 redirection)

---
 tools/docker/Dockerfile.build-deps | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/docker/Dockerfile.build-deps b/tools/docker/Dockerfile.build-deps
index 4e76b830e1..3a189e920a 100644
--- a/tools/docker/Dockerfile.build-deps
+++ b/tools/docker/Dockerfile.build-deps
@@ -14,5 +14,5 @@ RUN apt update && \
        chrpath \
        libdw-dev libevent-dev libunwind8-dev \
        && \
-    pip3 install breathe javasphinx sphinx>=1.8.0b1 sphinx_rtd_theme
+    pip3 install breathe javasphinx 'sphinx>=1.8.0b1' sphinx_rtd_theme
 		   
\ No newline at end of file
-- 
2.20.1