diff --git a/Doc/runtime.txt b/Doc/runtime.txt deleted file mode 100644 index 548d71365f0ec7..00000000000000 --- a/Doc/runtime.txt +++ /dev/null @@ -1 +0,0 @@ -3.7 \ No newline at end of file diff --git a/netlify.toml b/netlify.toml deleted file mode 100644 index 387c8f954ada3c..00000000000000 --- a/netlify.toml +++ /dev/null @@ -1,4 +0,0 @@ -[build] - base = "Doc/" - command = "make html" - publish = "Doc/build/html" \ No newline at end of file