Merge pull request #4374 from tybug/next

Clean up docs

Author: tybug

hypothesis-python/docs/compatibility.rst

@@ -142,12 +142,3 @@ We ship type hints with Hypothesis itself. Though we always try to minimize brea
 We may also find more precise ways to describe the type of various interfaces, or change their type and runtime behaviour together in a way which is otherwise backwards-compatible.
 
 There are known issues with inferring the type of examples generated by |st.deferred|, |st.recursive|, |st.one_of|, |st.dictionaries|, and |st.fixed_dictionaries|. We're following proposed updates to Python's typing standards, but unfortunately the long-standing interfaces of these strategies cannot (yet) be statically typechecked.
-
-------------------------
-Regularly verifying this
-------------------------
-
-Everything mentioned above as explicitly supported is checked on every commit
-with :gh-link:`GitHub Actions <actions>`.
-Our continuous delivery pipeline runs all of these checks before publishing
-each release, so when we say they're supported we really mean it.

hypothesis-python/docs/conf.py

@@ -56,13 +56,14 @@
     "numpy": "reference/strategies.html#numpy",
     "observability": "reference/integrations.html#observability",
     "settings": "reference/api.html#settings",
+    "endorsements": "usage.html#testimonials",
     # TODO enable when we actually rename them
     # "extras": "extensions.html",
     "supported": "compatibility.html",
     "changes": "changelog.html",
     "strategies": "extensions.html",
     # these pages were removed without replacement
-    # "support": "index.html",
+    "support": "index.html",
     "manifesto": "index.html",
     "examples": "index.html",
 }

hypothesis-python/docs/endorsements.rst

@@ -1,6 +1,6 @@
-=============================
-Projects extending Hypothesis
-=============================
+======================
+Third-party extensions
+======================
 
 There are a number of open-source community libraries that extend Hypothesis. This page lists some of them; you can find more by searching PyPI `by keyword <https://pypi.org/search/?q=hypothesis>`_ or `by framework classifier <https://pypi.org/search/?c=Framework+%3A%3A+Hypothesis>`_.
 

hypothesis-python/docs/extensions.rst

@@ -95,7 +95,6 @@ Technical API reference.
 .. toctree::
   :maxdepth: 1
   :hidden:
-  :caption: Hypothesis
 
   quickstart
   tutorial/index
@@ -104,17 +103,16 @@ Technical API reference.
   reference/index
   stateful
   Extras <extras>
-  compatibility
   changelog
 
 .. toctree::
   :maxdepth: 1
   :hidden:
-  :caption: Community
+  :caption: About Hypothesis
 
   development
+  compatibility
   usage
   extensions
   packaging
   community
-  endorsements

hypothesis-python/docs/index.rst

@@ -22,6 +22,7 @@
         "details.html#hypothesis.target": "reference/api.html#hypothesis.target",
         "details.html#hypothesis.register_random": "reference/strategies.html#hypothesis.register_random",
         "details.html#hypothesis.strategies.SearchStrategy": "reference/strategies.html#hypothesis.strategies.SearchStrategy",
+        "details.html#test-statistics": "reference/integrations.html#statistics",
       };
       var redirect = manualRedirects[window.location.pathname.split('/').pop() + window.location.hash];