From aad86c49b55bbdaa916c10b84272bec5a2b6a678 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Thu, 5 Dec 2019 23:44:58 +0100 Subject: [tools] Remove support for python2 Closes #10491 We re-add the header in doc/tools/coqrst/notations/fontsupport.py which was removed by accident in 1a9c769ed363ee2f2784e7252af72e6c1e2fbcc6 The fontsupport script itself has been kept for reference, however it is not involved by any build target as of today. --- doc/changelog/11-infrastructure-and-dependencies/11245-bye+py2.rst | 4 ++++ doc/tools/coqrst/notations/fontsupport.py | 1 + 2 files changed, 5 insertions(+) create mode 100644 doc/changelog/11-infrastructure-and-dependencies/11245-bye+py2.rst (limited to 'doc') diff --git a/doc/changelog/11-infrastructure-and-dependencies/11245-bye+py2.rst b/doc/changelog/11-infrastructure-and-dependencies/11245-bye+py2.rst new file mode 100644 index 0000000000..03c2ccc1d2 --- /dev/null +++ b/doc/changelog/11-infrastructure-and-dependencies/11245-bye+py2.rst @@ -0,0 +1,4 @@ +- **Removed:** + Python 2 is not longer required in any part of the codebase. + (`#11245 `_, + by Emilio Jesus Gallego Arias). diff --git a/doc/tools/coqrst/notations/fontsupport.py b/doc/tools/coqrst/notations/fontsupport.py index f0df7f1c01..c3ba2c1301 100755 --- a/doc/tools/coqrst/notations/fontsupport.py +++ b/doc/tools/coqrst/notations/fontsupport.py @@ -1,4 +1,5 @@ #!/usr/bin/env python2 +# -*- coding: utf-8 -*- ########################################################################## ## # The Coq Proof Assistant / The Coq Development Team ## ## v # INRIA, CNRS and contributors - Copyright 1999-2019 ## -- cgit v1.2.3