diff --git a/docs/static/robots.txt b/docs/static/robots.txt new file mode 100644 index 0000000000..eb0536286f --- /dev/null +++ b/docs/static/robots.txt @@ -0,0 +1,2 @@ +User-agent: * +Disallow: