From f339e95eb6ee1cd2c359714c5221e2c13563f9e9 Mon Sep 17 00:00:00 2001 From: Locria Cyber <74560659+iacore@users.noreply.github.com> Date: Mon, 19 Jun 2023 20:20:56 +0000 Subject: [PATCH] Fix generate-docs.scm It is now much slower --- tools/generate-docs.scm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/generate-docs.scm b/tools/generate-docs.scm index bac011d4..8287acf9 100644 --- a/tools/generate-docs.scm +++ b/tools/generate-docs.scm @@ -59,7 +59,9 @@ (thread-join! thread)) (begin))) -(fork-map +; fork-map is broken. The HTML files produced are empty + +(map process (filter filename-filter (walk-directory "lib")))