diff options
| author | Théo Zimmermann | 2019-06-06 11:22:09 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-06-17 18:08:32 +0200 |
| commit | 1a9c769ed363ee2f2784e7252af72e6c1e2fbcc6 (patch) | |
| tree | fd541cee60cbab8da21f69591209363e414183bd /doc | |
| parent | 35472e260eb609438eda7de9744a104ef8ef906d (diff) | |
Adapt change-header script to handle shebangs in addition to Emacs comments.
Remove other types of lines before copyright headers.
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/sphinx/conf.py | 3 | ||||
| -rw-r--r-- | doc/tools/coqrst/coqdomain.py | 3 | ||||
| -rwxr-xr-x | doc/tools/coqrst/notations/fontsupport.py | 3 |
3 files changed, 3 insertions, 6 deletions
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 ## ## <O___,, # (see CREDITS file for the list of authors) ## ## \VV/ ############################################################### ## // # This file is distributed under the terms of the ## 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 ## ## <O___,, # (see CREDITS file for the list of authors) ## ## \VV/ ############################################################### ## // # This file is distributed under the terms of the ## diff --git a/doc/tools/coqrst/notations/fontsupport.py b/doc/tools/coqrst/notations/fontsupport.py index cc983565ff..f0df7f1c01 100755 --- a/doc/tools/coqrst/notations/fontsupport.py +++ b/doc/tools/coqrst/notations/fontsupport.py @@ -1,8 +1,7 @@ #!/usr/bin/env python2 -# -*- 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 ## ## <O___,, # (see CREDITS file for the list of authors) ## ## \VV/ ############################################################### ## // # This file is distributed under the terms of the ## |