diff options
author | Boyan Karatotev <boyan.karatotev@arm.com> | 2022-10-27 11:28:23 +0100 |
---|---|---|
committer | Boyan Karatotev <boyan.karatotev@arm.com> | 2022-11-16 14:06:48 +0000 |
commit | 3fd1fe388ee5c7bfe4680ec4584ca7a2d4fa41ce (patch) | |
tree | 8d3d74e01c699d55df01c42fe3164512ae1c3681 /.gitignore | |
parent | fbcbd88eb1fbf677f068094085ad08aa1d446b74 (diff) | |
download | arm-trusted-firmware-3fd1fe388ee5c7bfe4680ec4584ca7a2d4fa41ce.tar.gz |
fix(docs): prevent a virtual environment from failing a build
sphinx-build is passed a blanket "." to build all docs. However, if a
virtual environment is placed within the docs directory, sphinx will try
to build it which will fail due to some weird files it has.
This excludes the most common virtual environment directories from the
build to prevent this.
Signed-off-by: Boyan Karatotev <boyan.karatotev@arm.com>
Change-Id: Ieeb14cfc5730d21c986611feb0ed379c58dfcae2
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index b005fab38..1f4efb65a 100644 --- a/.gitignore +++ b/.gitignore @@ -43,3 +43,9 @@ tags # Node.js node_modules/ + +# common python virtual environment directories +.env/ +env/ +.venv/ +venv/ |