From 7375eea766b604363e6b2e93fef3de674b1b42d1 Mon Sep 17 00:00:00 2001 From: Michael Buesch Date: Sun, 2 Jun 2019 21:32:02 +0200 Subject: gen-doc: Omit build directory Signed-off-by: Michael Buesch --- maintenance/gen-doc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maintenance/gen-doc.sh b/maintenance/gen-doc.sh index 770f887..6264b1c 100755 --- a/maintenance/gen-doc.sh +++ b/maintenance/gen-doc.sh @@ -33,7 +33,7 @@ gen() die "Failed to generate" } -for i in $(find "$srcdir" \( -name submodules -prune \) -o \( -name '*.md' -print \)); do +for i in $(find "$srcdir" \( -name submodules -prune \) -o \( -name toolchain-build -prune \) -o \( -name '*.md' -print \)); do gen "$i" done -- cgit v1.2.3