diff -r f4b3d2485baa -r 43dd357b3bff scripts/install.py
--- a/scripts/install.py Wed Jan 04 14:57:32 2023 +0100
+++ b/scripts/install.py Wed Jan 04 14:59:40 2023 +0100
@@ -878,7 +878,7 @@
shutil.rmtree(scriptsDir)
# copy the license file
- shutilCopy(os.path.join(sourceDir, "docs", "LICENSE.GPL3"), cfg["ericDir"])
+ shutilCopy(os.path.join(sourceDir, "docs", "LICENSE.txt"), cfg["ericDir"])
# create the global plugins directory
createGlobalPluginsDir()
@@ -888,7 +888,7 @@
return 7
# copy some text files to the doc area
- for name in ["LICENSE.GPL3", "THANKS", "changelog.md", "ThirdParty.rst"]:
+ for name in ["LICENSE.txt", "THANKS", "changelog.md", "ThirdParty.rst"]:
try:
shutilCopy(os.path.join(sourceDir, "docs", name), cfg["ericDocDir"])
except OSError:
