From 8c4368cb2d4ce5ac3030f48445827d34dfa46d71 Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Mon, 6 May 2019 12:27:45 +0200 Subject: [PATCH] The file named copyright has no .txt suffix --- Scripts/developer_scripts/cgal_create_package_dir.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Scripts/developer_scripts/cgal_create_package_dir.py b/Scripts/developer_scripts/cgal_create_package_dir.py index 7e6874c9682..1847fada3bc 100755 --- a/Scripts/developer_scripts/cgal_create_package_dir.py +++ b/Scripts/developer_scripts/cgal_create_package_dir.py @@ -150,7 +150,7 @@ if re.match("^[A-Za-z_][A-Za-z0-9_]*$", packagename): infopath = os.path.join(packagepath, 'package_info', packagename) os.makedirs(infopath) - open(os.path.join(infopath, 'copyright.txt'), 'w').close() + open(os.path.join(infopath, 'copyright'), 'w').close() open(os.path.join(infopath, 'description.txt'), 'w').close() open(os.path.join(infopath, 'license.txt'), 'w').close() open(os.path.join(infopath, 'long_description.txt'), 'w').close()