commit | 6fd025ed3345f4bad265ef1cb9155d3edf0f5e5c | [log] [tgz] |
---|---|---|
author | Tim Ansell <me@mith.ro> | Fri Nov 06 14:00:04 2020 -0800 |
committer | GitHub <noreply@github.com> | Fri Nov 06 14:00:04 2020 -0800 |
tree | ab74bc5cb47cf489292bed2d3456f8b747fff575 | |
parent | 20d9d56b6f20ccc8a87c583cd242a916de55cdab [diff] | |
parent | e6336c5038244cdf6da6b8e16e442744e268448b [diff] |
Merge pull request #211 from antmicro/enable_no_conda Enable not using conda for docs build
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