diff --git a/docs/static_site/Makefile b/docs/static_site/Makefile index a974e1260259..073b8c28e0ad 100644 --- a/docs/static_site/Makefile +++ b/docs/static_site/Makefile @@ -20,6 +20,11 @@ all: html html: mkdir -p build wget -O src/assets/js/jquery-3.3.1.min.js https://code.jquery.com/jquery-3.3.1.min.js + wget -O src/assets/img/mxnet-icon.png https://raw.githubusercontent.com/dmlc/web-data/master/mxnet/image/mxnet-icon.png + wget -O src/assets/docsearch.min.css 'https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.css' + wget -O src/assets/js/docsearch.min.js 'https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.js' + wget -O src/assets/retainable.css https://www.twilik.com/assets/retainable/rss-embed/retainable.css + wget -O src/assets/js/retainable.js https://www.twilik.com/assets/retainable/rss-embed/retainable.js cd src && bundle install && JEKYLL_ENV=production bundle exec jekyll build --config _config_prod.yml -d ../build/html && cd .. diff --git a/docs/static_site/src/_includes/head.html b/docs/static_site/src/_includes/head.html index fb7822caaae9..11264726e700 100644 --- a/docs/static_site/src/_includes/head.html +++ b/docs/static_site/src/_includes/head.html @@ -2,10 +2,15 @@ - + {%- seo -%} - - + {%- if jekyll.environment == 'production' -%} + + + {%- else -%} + + + {%- endif -%} {%- feed_meta -%} {%- if jekyll.environment == 'production' and site.google_analytics -%} @@ -13,10 +18,11 @@ {%- endif -%} {%- if jekyll.environment == 'production' -%} + {%- else -%} + {%- endif -%} - diff --git a/docs/static_site/src/_layouts/home.html b/docs/static_site/src/_layouts/home.html index 430c03f96aa2..00286e65fa90 100644 --- a/docs/static_site/src/_layouts/home.html +++ b/docs/static_site/src/_layouts/home.html @@ -131,19 +131,11 @@