diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/generate.source.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/generate.source.sh b/lib/generate.source.sh index 53e7a6b..c3fc766 100644 --- a/lib/generate.source.sh +++ b/lib/generate.source.sh @@ -147,7 +147,7 @@ generate::fromgmi () { # Anoter note: The CNAME file is required by GitHub pages as well for custom domains. for format in "$@"; do find "$CONTENT_BASE_DIR/$format" -type f | - $GREP -E -v '(\.git.*|_config.yml|CNAME|.domains)$'| + $GREP -E -v '(\.git.*|_config.yml|CNAME|.domains|robots.txt)$'| while read -r src; do generate::fromgmi_cleanup_docs "$src" "$format" done & |