From 5841b44543a9e94b9ea03e87f81acda0c0180bbb Mon Sep 17 00:00:00 2001
From: TG <tarik.graba@telecom-paris.fr>
Date: Sun, 6 Oct 2024 08:38:16 +0200
Subject: [PATCH 1/3] docs: Simplify images generation to allow parallel build

- remove the tidy target from the main target.
  * aux/log file are already excluded in a .gititgnore file
  * allow parallel generation as the tidy target imposes sequential build
---
 docs/source/_images/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/_images/Makefile b/docs/source/_images/Makefile
index 26cc47284..cc00050f1 100644
--- a/docs/source/_images/Makefile
+++ b/docs/source/_images/Makefile
@@ -1,4 +1,4 @@
-all: examples all_tex tidy
+all: examples all_tex
 
 # set a fake time in pdf generation to prevent unnecessary differences in output
 FAKETIME := TZ='Z' faketime -f '2022-01-01 00:00:00 x0,001'

From d8038c11d1f1f4adf7cc5d00c632752e402cd4e2 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Mon, 7 Oct 2024 10:07:17 +1300
Subject: [PATCH 2/3] Add -j flag to make docs CI

---
 .github/workflows/prepare-docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/prepare-docs.yml b/.github/workflows/prepare-docs.yml
index 9233e6295..19680e992 100644
--- a/.github/workflows/prepare-docs.yml
+++ b/.github/workflows/prepare-docs.yml
@@ -32,7 +32,7 @@ jobs:
       - name: Prepare docs
         shell: bash
         run:
-          make docs/prep TARGETS= EXTRA_TARGETS=
+          make docs/prep -j${{ env.procs }} TARGETS= EXTRA_TARGETS=
 
       - name: Upload artifact
         uses: actions/upload-artifact@v4

From 571d181fb4bcb7fe63f2b886e5b41f02d2519884 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Mon, 7 Oct 2024 10:26:29 +1300
Subject: [PATCH 3/3] Fix top-level make docs prerequisites

Add `$(TARGETS)` for gen_examples and gen_images since they need the `yosys` executable.
Add guidelines source files as a prerequisite to docs/source/generated while we're at it.
---
 Makefile | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index b3b8269c5..71e7891d9 100644
--- a/Makefile
+++ b/Makefile
@@ -979,16 +979,17 @@ docs/source/cmd/abc.rst: $(TARGETS) $(EXTRA_TARGETS)
 	./$(PROGRAM_PREFIX)yosys -p 'help -write-rst-command-reference-manual'
 
 PHONY: docs/gen_examples docs/gen_images docs/guidelines docs/usage docs/reqs
-docs/gen_examples:
+docs/gen_examples: $(TARGETS)
 	$(Q) $(MAKE) -C docs examples
 
-docs/gen_images:
+docs/gen_images: $(TARGETS)
 	$(Q) $(MAKE) -C docs images
 
 DOCS_GUIDELINE_FILES := GettingStarted CodingStyle
-docs/guidelines docs/source/generated:
+DOCS_GUIDELINE_SOURCE := $(addprefix guidelines/,$(DOCS_GUIDELINE_FILES))
+docs/guidelines docs/source/generated: $(DOCS_GUIDELINE_SOURCE)
 	$(Q) mkdir -p docs/source/generated
-	$(Q) cp -f $(addprefix guidelines/,$(DOCS_GUIDELINE_FILES)) docs/source/generated
+	$(Q) cp -f $(DOCS_GUIDELINE_SOURCE) docs/source/generated
 
 # some commands return an error and print the usage text to stderr
 define DOC_USAGE_STDERR