diff --git a/docs/gulpfile.js b/docs/gulpfile.js index c41af376504ec..39d7dc056961a 100644 --- a/docs/gulpfile.js +++ b/docs/gulpfile.js @@ -326,7 +326,7 @@ const tasks = Array.from(sourcesMap).flatMap(([type, definition]) => { } }) - return gulp.src(source) + return gulp.src(source, { ignore: ['**/target/**'] }) .pipe(filterFn) .pipe( map((file, done) => { @@ -409,7 +409,7 @@ const tasks = Array.from(sourcesMap).flatMap(([type, definition]) => { return done() } - return gulp.src(source) // asciidoc files + return gulp.src(source, { ignore: ['**/target/**'] }) // asciidoc files .pipe(through2.obj(extractExamples)) // extracted example files // symlink links from a fixed directory, i.e. we could link to // the example files from `destination`, that would not work for