diff options
| author | nodiscc <nodiscc@gmail.com> | 2018-10-03 19:29:20 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-03 19:29:20 +0000 |
| commit | 10a7b5cee96a742fbe86edbea977f3c55c92e9aa (patch) | |
| tree | 1f9541e502bd49774453bc27ef4f43b959c234d4 /mkdocs.yml | |
| parent | 4adeffd7f427580bba6f7656360850d4460c1f1d (diff) | |
| parent | 6c44d604a1ee0360a2eaf24b9cac18ca95edcb5f (diff) | |
| download | Shaarli-10a7b5cee96a742fbe86edbea977f3c55c92e9aa.tar.gz Shaarli-10a7b5cee96a742fbe86edbea977f3c55c92e9aa.tar.zst Shaarli-10a7b5cee96a742fbe86edbea977f3c55c92e9aa.zip | |
Merge pull request #1220 from nodiscc/doc-robots-noindex-nofollow
add "noindex, nofollow" HTML robots meta-tag to documentation pages
Diffstat (limited to 'mkdocs.yml')
| -rw-r--r-- | mkdocs.yml | 4 |
1 files changed, 3 insertions, 1 deletions
| @@ -2,7 +2,9 @@ site_name: Shaarli Documentation | |||
| 2 | repo_url: https://github.com/shaarli/Shaarli | 2 | repo_url: https://github.com/shaarli/Shaarli |
| 3 | edit_uri: edit/master/doc/md | 3 | edit_uri: edit/master/doc/md |
| 4 | site_description: The personal, minimalist, super-fast, database free, bookmarking service | 4 | site_description: The personal, minimalist, super-fast, database free, bookmarking service |
| 5 | theme: readthedocs | 5 | theme: |
| 6 | name: readthedocs | ||
| 7 | custom_dir: doc/custom_theme/ | ||
| 6 | docs_dir: doc/md | 8 | docs_dir: doc/md |
| 7 | site_dir: doc/html | 9 | site_dir: doc/html |
| 8 | # Disable strict mode until ReadTheDocs provides up-to-date MkDocs settings: | 10 | # Disable strict mode until ReadTheDocs provides up-to-date MkDocs settings: |