diff -r 22314ef6d754 -r 4acdf7c7101d scripts/install.py --- a/scripts/install.py Fri Jan 06 18:02:02 2023 +0100 +++ b/scripts/install.py Sat Jan 07 16:23:59 2023 +0100 @@ -888,7 +888,7 @@ return 7 # copy some text files to the doc area - for name in ["LICENSE.txt", "THANKS", "changelog.md", "ThirdParty.rst"]: + for name in ["LICENSE.txt", "THANKS", "changelog.md", "ThirdParty.md"]: try: shutilCopy(os.path.join(sourceDir, "docs", name), cfg["ericDocDir"]) except OSError: