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/sphinx/conf.py | 3 +-- doc/tools/coqrst/coqdomain.py | 3 +-- doc/tools/coqrst/notations/fontsupport.py | 3 +-- 3 files changed, 3 insertions(+), 6 deletions(-) (limited to 'doc') diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py index 53309cd313..5aeaba9f3a 100755 --- a/doc/sphinx/conf.py +++ b/doc/sphinx/conf.py @@ -1,8 +1,7 @@ #!/usr/bin/env python3 -# -*- 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 ## ##