From e6336c5038244cdf6da6b8e16e442744e268448b Mon Sep 17 00:00:00 2001
From: Michael Gielda <mgielda@antmicro.com>
Date: Fri, 6 Nov 2020 15:42:21 +0100
Subject: [PATCH] Enable not using conda for docs build

Signed-off-by: Michael Gielda <mgielda@antmicro.com>
---
 docs/Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/Makefile b/docs/Makefile
index 08af88d..9c7399f 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -3,7 +3,13 @@
 DOCSDIR := $(dir $(lastword $(MAKEFILE_LIST)))
 TOPDIR := $(realpath $(DOCSDIR)/..)
 
+ifndef NO_CONDA
 include $(TOPDIR)/scripts/make/conda.mk
+endif
+ifdef NO_CONDA
+IN_CONDA_ENV :=
+CONDA_ENV_PYTHON :=
+endif
 
 SHELL = /bin/bash