From 30bcbb351538835e7f6980878d66671bbd17f7ff Mon Sep 17 00:00:00 2001 From: Jade Abraham Date: Mon, 4 Nov 2024 16:07:00 -0800 Subject: [PATCH] remove requirement to build chplcheck to build docs Signed-off-by: Jade Abraham --- tools/chplcheck/Makefile | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/tools/chplcheck/Makefile b/tools/chplcheck/Makefile index 1e1204184c2d..005fed4a6e29 100644 --- a/tools/chplcheck/Makefile +++ b/tools/chplcheck/Makefile @@ -37,10 +37,8 @@ chplcheck-venv: chplcheck: chplcheck-venv -chplcheck-docs: chplcheck - CHPL_HOME=$(CHPL_MAKE_HOME) bash \ - $(CHPL_MAKE_HOME)/util/config/run-in-venv-with-python-bindings.bash \ - python3 $(CHPL_MAKE_HOME)/doc/util/chplcheck-docs.py \ +chplcheck-docs: + python3 $(CHPL_MAKE_HOME)/doc/util/chplcheck-docs.py \ -r $(CHPL_MAKE_HOME)/tools/chplcheck/src/rules.py \ -o $(CHPL_MAKE_HOME)/doc/rst/tools/chplcheck/generated \ --examples-directory $(CHPL_MAKE_HOME)/tools/chplcheck/examples