diff options
| author | Mark Otto <markdotto@gmail.com> | 2018-06-21 07:31:38 +0300 |
|---|---|---|
| committer | Mark Otto <otto@github.com> | 2018-07-12 09:30:46 +0300 |
| commit | 0e920ce3f481a23c00c22c10565463ce58c0aac2 (patch) | |
| tree | b66e8c4bf2244d3b71d7f2e6f2376ae528f6bd93 /site/robots.txt | |
| parent | 9e126b26a863505b048bc927c6c6f731d42d2ba4 (diff) | |
Reorganize docs for easier deploys
With the current docs directory setup, I'm making too many mistakes and have to manually address path changes and directory moves on deploy. This makes for a frustrating experience developing locally and shipping releases. With this PR, we're basically back to the same setup from v3—duplicating the dist directory into our docs directory. Not the most ideal, but very straightforward for me as the release manager.
Diffstat (limited to 'site/robots.txt')
| -rw-r--r-- | site/robots.txt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/site/robots.txt b/site/robots.txt new file mode 100644 index 0000000000..aef3fa1f64 --- /dev/null +++ b/site/robots.txt @@ -0,0 +1,9 @@ +--- +--- + +# www.robotstxt.org/ + +# Allow crawling of all content +User-agent: * +Disallow: +Sitemap: {{ site.url }}/sitemap.xml |