diff --git a/bin/make_backend_docs.py b/bin/make_backend_docs.py index 79934c2e9..83db62366 100755 --- a/bin/make_backend_docs.py +++ b/bin/make_backend_docs.py @@ -10,19 +10,12 @@ marker = "