diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 42c57b4b6386c6aeb20ebc0bd5ae1a8793d60ef7..91877db5691bf8eff9548076e89bd85027e354e6 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -46,11 +46,18 @@ mkdocs: script: #- apt-get update #- apt-get -y install git + # add version to footer - bash scripts/add_version.sh + # get modules list from clusters - bash scripts/get_modules.sh + # build pages - mkdocs build + # compress search_index.json - bash scripts/clean_json.sh site/mkdocs/search_index.json + # replace broken links in 404.html - sed -i 's,href="" title=",href="/" title=",g' site/404.html + # compress sitemap + - gzip < site/sitemap.xml > site/sitemap.xml.gz artifacts: paths: - site diff --git a/docs.it4i/robots.txt b/docs.it4i/robots.txt new file mode 100644 index 0000000000000000000000000000000000000000..72b82b8423d63ccfd7286352b3f09b5d41607be6 --- /dev/null +++ b/docs.it4i/robots.txt @@ -0,0 +1,3 @@ +Sitemap: https://docs.it4i.cz/sitemap.xml.gz +User-agent: * +Disallow: