Merge branch 'master' into V9_dev

diff --git a/copyright/insert_copyright b/copyright/insert_copyright
index 41886b0a568e6e0fb1840738e8e560c29ac8cf1f..50f63b5f1a59bd7e63f5ec53e6b814d2607951bb 100755 (executable)
--- a/copyright/insert_copyright
+++ b/copyright/insert_copyright
@@ -333,7 +333,7 @@ def main():
                         dest="format", default=file_format,
                         help=help_string.format(file_format=file_format,
                                                 choices="|".join(formats())))
-    parser.add_argument('files', nargs='*')
+    parser.add_argument('files', nargs='+', metavar='FILE')
 
     args = parser.parse_args(sys.argv[1:])
 
@@ -342,9 +342,6 @@ def main():
     file_format = args.format
     files = args.files
 
-    if not files:
-        error_exit('file is not specified')
-
     for filename in files:
         insert_copyright(filename, owner, year, file_format)