summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 478326e2cd..33d43798f5 100644
--- a/Makefile
+++ b/Makefile
@@ -604,7 +604,7 @@ test-doc: doc-only ## Builds, lints, and verifies the docs.
echo "Skipping test-doc (no crypto)"; \
else \
$(MAKE) lint; \
- $(PYTHON) tools/test.py $(PARALLEL_ARGS) $(CI_DOC); \
+ $(PYTHON) tools/test.py $(PARALLEL_ARGS) doctool; \
fi
test-known-issues: all