Minor ci scripts comment edits and mkdocs comments

Author: Sylvain MARIE

.travis.yml

@@ -145,7 +145,6 @@ after_success:
       git remote add gh-remote "${GH_REF}";
       git fetch gh-remote && git fetch gh-remote gh-pages:gh-pages;  # make sure we have the latest gh-remote
       # push but only if this is not a build triggered by a pull request
-      # note: here we use the --dirty flag so that mkdocs does not clean the additional reports that we copied in the site
       # note: do not use the --dirty flag as it breaks client-side search
       if [ "${TRAVIS_PULL_REQUEST}" = "false" ] && [ "${DEPLOY_ENV}" = "true" ]; then echo "Pushing to github"; PYTHONPATH=pytest_cases/ mkdocs gh-deploy -v -f docs/mkdocs.yml --remote-name gh-remote; git push gh-remote gh-pages; fi;
     else

ci_tools/run_tests.sh

@@ -15,7 +15,7 @@ trap "cleanup" INT TERM EXIT
 if [ "${DEPLOY_ENV}" = "true" ]; then
    # full
    # Run tests with "python -m pytest" to use the correct version of pytest
-   echo -e "\n\n****** Running tests ******\n\n"
+   echo -e "\n\n****** Running tests with coverage ******\n\n"
    coverage run --source pytest_cases -m pytest --junitxml=reports/junit/junit.xml --html=reports/junit/report.html -v pytest_cases/tests/
    # buggy
    # python -m pytest --junitxml=reports/junit/junit.xml --html=reports/junit/report.html --cov-report term-missing --cov=./pytest_cases -v pytest_cases/tests/

docs/mkdocs.yml

@@ -16,5 +16,7 @@ markdown_extensions:
   - pymdownx.highlight  # see https://squidfunk.github.io/mkdocs-material/reference/code-blocks/#highlight
   - pymdownx.superfences # same as above as well as code blocks inside other blocks
   - admonition  # to add notes such as http://squidfunk.github.io/mkdocs-material/extensions/admonition/
+#  - codehilite:
+#      guess_lang: false
   - toc:
       permalink: true