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, 8 insertions, 8 deletions

diff --git a/examples/api/python/strings.py b/examples/api/python/strings.py
index 58a6f6508..c007b4bb5 100755..100644
--- a/examples/api/python/strings.py
+++ b/examples/api/python/strings.py
@@ -1,19 +1,19 @@
 #!/usr/bin/env python
-
 #####################
-#! \file strings.py
-## \verbatim
+## strings.py
 ## Top contributors (to current version):
-##   Makai Mann
+##   Makai Mann, Andres Noetzli
 ## 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
+## A simple demonstration of the solving capabilities of the CVC4
 ## strings solver through the Python API. This is a direct translation
 ## of strings-new.cpp.
+##
+
 import pycvc4
 from pycvc4 import kinds