From f9bf50e822cc8470b8808b6e357888853b311076 Mon Sep 17 00:00:00 2001
From: Mike Hearn <mike@r3cev.com>
Date: Tue, 8 Mar 2016 18:35:33 +0100
Subject: [PATCH] Docs: add robots.txt to keep my ex-employers from stalking me
 ;)

---
 docs/build/html/robots.txt  | 2 ++
 scripts/generate-docsite.sh | 8 ++++++++
 2 files changed, 10 insertions(+)
 create mode 100644 docs/build/html/robots.txt

diff --git a/docs/build/html/robots.txt b/docs/build/html/robots.txt
new file mode 100644
index 0000000000..1f53798bb4
--- /dev/null
+++ b/docs/build/html/robots.txt
@@ -0,0 +1,2 @@
+User-agent: *
+Disallow: /
diff --git a/scripts/generate-docsite.sh b/scripts/generate-docsite.sh
index e390318cd9..9d9aad03f9 100755
--- a/scripts/generate-docsite.sh
+++ b/scripts/generate-docsite.sh
@@ -23,4 +23,12 @@ echo
 java -jar lib/dokka.jar -output docs/build/html/api src/main/kotlin core/src/main/kotlin contracts/src/main/kotlin  | grep -v "No documentation for"
 
 echo
+echo "Writing robots.txt"
+echo
+
+cat <<EOF >docs/build/html/robots.txt
+User-agent: *
+Disallow: /
+EOF
+
 echo "Done"
\ No newline at end of file