Avoid double conflict on README.md

analogdevicesinc · Jul 27, 2023 · 8f20119 · 8f20119
1 parent 7f4ac9b
commit 8f20119
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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