diff --git a/.github/deploy.sh b/.github/deploy.sh index 496d99eb3..896aa68ea 100755 --- a/.github/deploy.sh +++ b/.github/deploy.sh @@ -13,7 +13,7 @@ then chmod 600 .github/deploy_key ssh-add .github/deploy_key - pip install git+https://github.com/spanezz/staticsite.git + pip install git+https://github.com/spanezz/staticsite.git@v1.2 fi git clone --depth=10 --branch=gh-pages "git@github.com:${TRAVIS_REPO_SLUG}.git" "$P/git" diff --git a/doc/.theme/page.html b/doc/.theme/page.html index fcbf0a1d4..a874ad149 100644 --- a/doc/.theme/page.html +++ b/doc/.theme/page.html @@ -7,7 +7,7 @@ --> - {% block title %}{{SITE_NAME}}{{ " - " + title if page.src_relpath != "README.md"}}{% endblock %} + {% block title %}{{SITE_NAME}}{{ " - " + page.meta.title if page.src.relpath != "README.md"}}{% endblock %} {% block favicon %}{% endblock %} {% block head %} {% endblock %} @@ -24,7 +24,7 @@