From 8883300ac5d0551cdc0782d0133455dc27a4c3e0 Mon Sep 17 00:00:00 2001
From: Kevin van Zonneveld <kevin@vanzonneveld.net>
Date: Tue, 1 Mar 2016 08:38:27 +0100
Subject: [PATCH] Fix 404s to travis build dirs insie disc.html that Google
 reported

---
 website/src/robots.txt | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 website/src/robots.txt

diff --git a/website/src/robots.txt b/website/src/robots.txt
new file mode 100644
index 000000000..50e7eb25a
--- /dev/null
+++ b/website/src/robots.txt
@@ -0,0 +1,2 @@
+User-agent: *
+Disallow: /disc.html