doc: patch Sphinx to detect our @final for marking classes as final

Thanks to Dominic Davis-Foster for code & assistance.
2020-10-03 13:10:03 +03:00
parent a6a7ba57e0
commit 7705e5e624
2 changed files with 22 additions and 0 deletions
@@ -0,0 +1 @@
+Classes which should not be inherited from are now marked ``final class`` in the API reference.
				`@@ -0,0 +1 @@`
				Classes which should not be inherited from are now marked ``final class`` in the API reference.