mirror of
https://github.com/corda/corda.git
synced 2025-01-27 22:59:54 +00:00
Docs: add robots.txt to keep my ex-employers from stalking me ;)
This commit is contained in:
parent
3db5b234d1
commit
f9bf50e822
2
docs/build/html/robots.txt
vendored
Normal file
2
docs/build/html/robots.txt
vendored
Normal file
@ -0,0 +1,2 @@
|
|||||||
|
User-agent: *
|
||||||
|
Disallow: /
|
@ -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"
|
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
|
||||||
|
echo "Writing robots.txt"
|
||||||
|
echo
|
||||||
|
|
||||||
|
cat <<EOF >docs/build/html/robots.txt
|
||||||
|
User-agent: *
|
||||||
|
Disallow: /
|
||||||
|
EOF
|
||||||
|
|
||||||
echo "Done"
|
echo "Done"
|
Loading…
x
Reference in New Issue
Block a user