diff --git a/robots.txt b/robots.txt
index f22fa5bf5c..06450854f4 100644
--- a/robots.txt
+++ b/robots.txt
@@ -1,3 +1,4 @@
 # Do not list source files in search machines
 User-agent: *
 Disallow: /source/
+