From 8b3ce34952303c22f4e9549f1f127cb525841798 Mon Sep 17 00:00:00 2001 From: Abel Soares Siqueira Date: Thu, 4 Jul 2024 13:54:59 +0200 Subject: [PATCH] [DEBUG] --- .github/scripts/verify-docs-build-files.sh | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/.github/scripts/verify-docs-build-files.sh b/.github/scripts/verify-docs-build-files.sh index dc9eeca6..10c50361 100644 --- a/.github/scripts/verify-docs-build-files.sh +++ b/.github/scripts/verify-docs-build-files.sh @@ -1,6 +1,17 @@ #!/bin/bash -find tmp/Guldasta.jl +echo "First find" +find tmp/Guldasta.jl/docs + +echo "Second find" +find tmp/Guldasta.jl/docs -type f -name '*.md' -print0 + +echo "Third find" +find tmp/Guldasta.jl/docs -type f -name '*.md' -print + +echo "Fourth find" +find tmp/Guldasta.jl/docs -type f -name '*.md' + while IFS= read -r -d '' f; do f=${f/src/build} # Converts path/file.md to path/file/index.html (index.md just changes to index.html)