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/tools/coqrst/notations/fontsupport.py | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/tools')

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