diff options
| author | Paul Buetow <paul@buetow.org> | 2022-01-20 09:11:59 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2022-01-20 09:11:59 +0000 |
| commit | ae4c1cb18de6d3a89704dad013ba96131e16e613 (patch) | |
| tree | 03ad1fca6fcf6eecdcd172e51df395e2c778d1bc /lib/generate.source.sh | |
| parent | 18892afa7b97f3cffc71462e99e69d775609c3af (diff) | |
add robots to be a special file
Diffstat (limited to 'lib/generate.source.sh')
| -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 & |