Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Update mkdocs to the latest #4041
This does a few smaller changes to mkdocs:
In the 0.17.0 version of MkDocs, there were some changes to how themes are configured. Essentially previously, there was a
Should fix #3991.
referenced this pull request
Apr 30, 2018
I don't know exactly. Was it not working before?
MkDocs (the project) is built with a recent version and here are the search results: http://mkdocs.readthedocs.io/en/stable/search.html?q=something