diff --git a/docs/public/robots.txt b/docs/public/robots.txt
index 1a30ffb4..f55b57bf 100644
--- a/docs/public/robots.txt
+++ b/docs/public/robots.txt
@@ -1,2 +1 @@
-user-agent: *
-disallow: /dev/*
+user-agent: *
\ No newline at end of file