Closed mlubin closed 4 years ago
Search results for JuMP documentation often turns up old versions. According to https://docs.readthedocs.io/en/stable/faq.html#how-can-i-avoid-search-results-having-a-deprecated-version-of-my-docs, we should use a robots.txt file to hide old versions of the docs. Let's see if this works?
Search results for JuMP documentation often turns up old versions. According to https://docs.readthedocs.io/en/stable/faq.html#how-can-i-avoid-search-results-having-a-deprecated-version-of-my-docs, we should use a robots.txt file to hide old versions of the docs. Let's see if this works?