From ae4c1cb18de6d3a89704dad013ba96131e16e613 Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Thu, 20 Jan 2022 09:11:59 +0000
Subject: add robots to be a special file

---
 lib/generate.source.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

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 &
-- 
cgit v1.2.3