chore: Add robots.txt to docs

Zettlr · Dec 28, 2024 · 0a9bfb0 · 0a9bfb0
1 parent 978de66
commit 0a9bfb0
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/assets/robots.txt b/assets/robots.txt
@@ -0,0 +1,6 @@
+User-agent: *
+Allow: /
+Host: https://docs.zettlr.com/
+
+User-agent: GPTBot
+Disallow: /
diff --git a/scripts/build.sh b/scripts/build.sh
@@ -19,3 +19,5 @@ done
 cp ./assets/index.html ./build
 # ... as well as the logo
 cp ./assets/logo.png ./build
+# ... and the robots.txt
+cp ./assets/robots.txt ./build