From 1a9c769ed363ee2f2784e7252af72e6c1e2fbcc6 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Thu, 6 Jun 2019 11:22:09 +0200 Subject: Adapt change-header script to handle shebangs in addition to Emacs comments. Remove other types of lines before copyright headers. --- doc/tools/coqrst/coqdomain.py | 3 +-- doc/tools/coqrst/notations/fontsupport.py | 3 +-- 2 files changed, 2 insertions(+), 4 deletions(-) (limited to 'doc/tools') diff --git a/doc/tools/coqrst/coqdomain.py b/doc/tools/coqrst/coqdomain.py index 4bdfac7c42..6c32a4968c 100644 --- a/doc/tools/coqrst/coqdomain.py +++ b/doc/tools/coqrst/coqdomain.py @@ -1,7 +1,6 @@ -# -*- coding: utf-8 -*- ########################################################################## ## # The Coq Proof Assistant / The Coq Development Team ## -## v # INRIA, CNRS and contributors - Copyright 1999-2018 ## +## v # INRIA, CNRS and contributors - Copyright 1999-2019 ## ##