build.i3wm.org: disallow search engine indexing (#4295)

related to i3/i3.github.io#41
tdemin · Dec 29, 2020 · 74b461e · 74b461e
1 parent da1a720
commit 74b461e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/travis/deploy-github-pages.sh b/travis/deploy-github-pages.sh
@@ -9,6 +9,10 @@ mkdir build.i3wm.org
 cp -r deb/COPY-DOCS build.i3wm.org/docs
 cd build.i3wm.org
 echo build.i3wm.org > CNAME
+# Disallow search engine indexing for build.i3wm.org: users should find the
+# release version instead, and only developers should use build.i3wm.org.
+echo 'User-Agent: *' > robots.txt
+echo 'Disallow: /' >> robots.txt
 git init
 
 git config user.name "Travis CI"