From e9ca2a2defb7d38f8f9d6f350c74c90e76d89d04 Mon Sep 17 00:00:00 2001 From: joaquintides Date: Mon, 20 Oct 2025 09:04:57 +0200 Subject: [PATCH] added /doc/html/unordered.html redirect (#327) * added /doc/html/unordered.html redirect * added trailing newline --- doc/build_antora.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/build_antora.sh b/doc/build_antora.sh index 5fc4a429..cdac5326 100755 --- a/doc/build_antora.sh +++ b/doc/build_antora.sh @@ -7,3 +7,4 @@ cd "$SCRIPT_DIR" npm ci npx antora unordered-playbook.yml +cp -f html/index.html html/unordered.html