diff --git a/docs/sphinx/README.rst b/docs/sphinx/README.rst new file mode 100644 index 0000000000..a7ab7c5500 --- /dev/null +++ b/docs/sphinx/README.rst @@ -0,0 +1 @@ +TODO: how (if at all) is this actually maintained?