404
-{% trans %}Page not found{% endtrans %}
+{% trans %}Page not found at all{% endtrans %}
diff --git a/.github/workflows/tox.yml b/.github/workflows/tox.yml index db0d70e774..d74d422172 100644 --- a/.github/workflows/tox.yml +++ b/.github/workflows/tox.yml @@ -116,7 +116,8 @@ jobs: echo "inspecting changed file: ${changed_file}"; if [[ "${changed_file}" == "mkdocs/__init__.py" ]]; then echo "mkdocs version changed!"; - git diff -G "msgid" --exit-code && git diff -G "msgstr" --exit-code; + git diff -G "msgid" --exit-code || exit 1 + git diff -G "msgstr" --exit-code || exit 2 fi done shell: bash diff --git a/mkdocs/themes/mkdocs/404.html b/mkdocs/themes/mkdocs/404.html index c0503d7469..6c81d2b4d0 100644 --- a/mkdocs/themes/mkdocs/404.html +++ b/mkdocs/themes/mkdocs/404.html @@ -5,7 +5,7 @@
{% trans %}Page not found{% endtrans %}
+{% trans %}Page not found at all{% endtrans %}