From 07f6151b06523b988bd55a486d98cf57012463be Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= Date: Fri, 18 Aug 2017 11:13:01 +0200 Subject: [PATCH] fix help display --- Scripts/developer_scripts/add_license_in_pkg_header.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Scripts/developer_scripts/add_license_in_pkg_header.py b/Scripts/developer_scripts/add_license_in_pkg_header.py index 410f36ddfb0..bd377232632 100644 --- a/Scripts/developer_scripts/add_license_in_pkg_header.py +++ b/Scripts/developer_scripts/add_license_in_pkg_header.py @@ -36,7 +36,7 @@ def add_license_include_in_file(package_name, fname): if not inserted: print("Warning: file "+fname+" was not modified (no CGAL_*_H defined)") -if len(argv)==0: +if len(argv)==1: print("Usage: "+argv[0]+" Package_directory [Package_name=Package_directory]\n") else: package_dir=argv[1]