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