From 042dbe593d7efe71f4eb39688d1f66b908925d35 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Wed, 3 Jun 2026 12:00:19 +1200
Subject: [PATCH] docs: Remove build dir from tool help

Pipes the help through sed for the tools that include the path.  Also means we can drop the `|| true` from abc, since we're now reading the sed return instead.
---
 docs/Makefile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index 63ccd9b49..948404a79 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -265,15 +265,15 @@ extract:
 
 	@mkdir -p source/generated/functional
 	@cp ../backends/functional/smtlib.cc source/generated/functional/
-	-@cd .. && diff -U 20 backends/functional/smtlib.cc backends/functional/smtlib_rosette.cc \
+	@cd .. && diff -U 20 backends/functional/smtlib.cc backends/functional/smtlib_rosette.cc \
 		> docs/source/generated/functional/rosette.diff || true
 
-	@$(YOSYS) --help >source/generated/yosys
+	$(YOSYS) --help | sed "s%$(BUILD_DIR)/yosys%yosys%g" - >source/generated/yosys
 	@$(YOSYS_SMTBMC) --help >source/generated/yosys-smtbmc
 	@$(YOSYS_WITNESS) --help >source/generated/yosys-witness
-	@$(YOSYS_CONFIG) --help >source/generated/yosys-config
+	@$(YOSYS_CONFIG) --help | sed "s%$(BUILD_DIR)/yosys-config%yosys-config%g" - >source/generated/yosys-config
 	@$(YOSYS_FILTERLIB) --help 2>source/generated/yosys-filterlib || true
-	@$(ABC) --help 2>source/generated/yosys-abc > /dev/null || true
+	@$(ABC) --help 2>&1 >/dev/null | sed "s%$(BUILD_DIR)/yosys-abc%yosys-abc%g" - >source/generated/yosys-abc
 
 .PHONY: gen
 gen: