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/sphinx | |
| 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/sphinx')
| -rwxr-xr-x | doc/sphinx/conf.py | 3 |
1 files changed, 1 insertions, 2 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 ## |