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

diff --git a/examples/api/python/sygus-inv.py b/examples/api/python/sygus-inv.py
index cb21e1849..f71091371 100644
--- a/examples/api/python/sygus-inv.py
+++ b/examples/api/python/sygus-inv.py
@@ -1,20 +1,18 @@
 #!/usr/bin/env python
-
 #####################
-#! \file sygus-inv.py
-## \verbatim
+## sygus-inv.py
 ## Top contributors (to current version):
 ##   Yoni Zohar
 ## 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
 ## sygus solver through the Python API. This is a direct
 ## translation of sygus-inv.cpp .
-#####################
+##
 
 import pycvc4
 from pycvc4 import kinds