diff --git a/docs/build/html/robots.txt b/docs/build/html/robots.txt new file mode 100644 index 0000000000..1f53798bb4 --- /dev/null +++ b/docs/build/html/robots.txt @@ -0,0 +1,2 @@ +User-agent: * +Disallow: / diff --git a/scripts/generate-docsite.sh b/scripts/generate-docsite.sh index e390318cd9..9d9aad03f9 100755 --- a/scripts/generate-docsite.sh +++ b/scripts/generate-docsite.sh @@ -23,4 +23,12 @@ echo java -jar lib/dokka.jar -output docs/build/html/api src/main/kotlin core/src/main/kotlin contracts/src/main/kotlin | grep -v "No documentation for" echo +echo "Writing robots.txt" +echo + +cat <docs/build/html/robots.txt +User-agent: * +Disallow: / +EOF + echo "Done" \ No newline at end of file