From 9df9da0edfcddba8d66baee98b613dd9bd5090b5 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Thu, 17 Jan 2019 16:44:54 +0100
Subject: [PATCH] [build] Fix undefined variable
---
bob/devtools/build.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bob/devtools/build.py b/bob/devtools/build.py
index 9881ca58..9bc4b250 100644
--- a/bob/devtools/build.py
+++ b/bob/devtools/build.py
@@ -298,7 +298,7 @@ def get_docserver_setup(public, stable, server, intranet):
server + prefix + '/docs/bob/%(name)s/master/',
]
- if private:
+ if not public:
# add private channels, (notice they are not accessible outside idiap)
prefix = '/private' if intranet else ''
if stable:
--
GitLab