diff --git a/Documentation/build.py b/Documentation/build.py index 46411a7b2b7..1fdffe6e480 100644 --- a/Documentation/build.py +++ b/Documentation/build.py @@ -123,7 +123,7 @@ class CommonExampleInfo(ExampleInfo): print("Copying markdown files") for f in repo.glob("*.md"): print(f.name) - shutil.copy(f, here) + if (f.name != "README.md"): shutil.copy(f, here) # Workaround for https://github.com/mkdocs/mkdocs/issues/3313 # String replace "##__EXAMPLES_LIST__##" with autogenerated tables # Note: We use the copy for the site build in the Documentation folder so that the