| commit | e6336c5038244cdf6da6b8e16e442744e268448b | [log] [tgz] |
|---|---|---|
| author | Michael Gielda <mgielda@antmicro.com> | Fri Nov 06 15:42:21 2020 +0100 |
| committer | Michael Gielda <mgielda@antmicro.com> | Fri Nov 06 15:46:58 2020 +0100 |
| tree | 0c1b587d1231bbce663324b67525cefce8fe2499 | |
| parent | de673cb3b58bebfb26401ba1a51144a224cf2cb6 [diff] |
Enable not using conda for docs build Signed-off-by: Michael Gielda <mgielda@antmicro.com>
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