Update copyright header script to support CMake and Python files (#5067)

This PR updates the update-copyright.pl script to also update/add copyright headers to CMake specific files. It further fixes a small typo in the header.

1 files changed, 6 insertions, 6 deletions

diff --git a/examples/api/python/sets.py b/examples/api/python/sets.py
index b69c56b56..99a8d4c40 100755..100644
--- a/examples/api/python/sets.py
+++ b/examples/api/python/sets.py
@@ -1,19 +1,19 @@
 #!/usr/bin/env python
-
 #####################
-#! \file sets.py
-## \verbatim
+## sets.py
 ## Top contributors (to current version):
 ##   Makai Mann, Aina Niemetz
 ## This file is part of the CVC4 project.
-## Copyright (c) 2009-2018 by the authors listed in the file AUTHORS
-## in the top-level source directory) and their institutional affiliations.
+## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## in the top-level source directory and their institutional affiliations.
 ## All rights reserved.  See the file COPYING in the top-level source
-## directory for licensing information.\endverbatim
+## directory for licensing information.
 ##
 ## \brief A simple demonstration of the solving capabilities of the CVC4
 ## sets solver through the Python API. This is a direct translation
 ## of sets-new.cpp.
+##
+
 import pycvc4
 from pycvc4 import kinds