diff --git a/docs/public/robots.txt b/docs/public/robots.txt
index 78ea196a..1a30ffb4 100644
--- a/docs/public/robots.txt
+++ b/docs/public/robots.txt
@@ -1 +1,2 @@
-Disallow: /dev/*
+user-agent: *
+disallow: /dev/*