From a99776e10e0b2198d2b811ad82631111fb450f8a Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 18 Mar 2020 12:14:26 +0100
Subject: Update headers in the whole code base.

Add headers to a few files which were missing them.
---
 doc/sphinx/_static/ansi-dark.css | 4 ++--
 doc/sphinx/_static/ansi.css      | 4 ++--
 doc/sphinx/_static/coqdoc.css    | 4 ++--
 doc/sphinx/_static/notations.css | 4 ++--
 doc/sphinx/_static/notations.js  | 4 ++--
 doc/sphinx/_static/pre-text.css  | 4 ++--
 doc/sphinx/conf.py               | 4 ++--
 doc/sphinx/coqdoc.css            | 4 ++--
 8 files changed, 16 insertions(+), 16 deletions(-)

(limited to 'doc/sphinx')

diff --git a/doc/sphinx/_static/ansi-dark.css b/doc/sphinx/_static/ansi-dark.css
index bbace7c553..f02f522bdd 100644
--- a/doc/sphinx/_static/ansi-dark.css
+++ b/doc/sphinx/_static/ansi-dark.css
@@ -1,7 +1,7 @@
 /************************************************************************/
 /*         *   The Coq Proof Assistant / The Coq Development Team       */
-/*  v      *   INRIA, CNRS and contributors - Copyright 1999-2019       */
-/* <O___,, *       (see CREDITS file for the list of authors)           */
+/*  v      *         Copyright INRIA, CNRS and contributors             */
+/* <O___,, * (see version control and CREDITS file for authors & dates) */
 /*   \VV/  **************************************************************/
 /*    //   *    This file is distributed under the terms of the         */
 /*         *     GNU Lesser General Public License Version 2.1          */
diff --git a/doc/sphinx/_static/ansi.css b/doc/sphinx/_static/ansi.css
index b3b5341166..2a618f68d2 100644
--- a/doc/sphinx/_static/ansi.css
+++ b/doc/sphinx/_static/ansi.css
@@ -1,7 +1,7 @@
 /************************************************************************/
 /*         *   The Coq Proof Assistant / The Coq Development Team       */
-/*  v      *   INRIA, CNRS and contributors - Copyright 1999-2019       */
-/* <O___,, *       (see CREDITS file for the list of authors)           */
+/*  v      *         Copyright INRIA, CNRS and contributors             */
+/* <O___,, * (see version control and CREDITS file for authors & dates) */
 /*   \VV/  **************************************************************/
 /*    //   *    This file is distributed under the terms of the         */
 /*         *     GNU Lesser General Public License Version 2.1          */
diff --git a/doc/sphinx/_static/coqdoc.css b/doc/sphinx/_static/coqdoc.css
index 7a3d59d4c0..32cb0a7a15 100644
--- a/doc/sphinx/_static/coqdoc.css
+++ b/doc/sphinx/_static/coqdoc.css
@@ -1,7 +1,7 @@
 /************************************************************************/
 /*         *   The Coq Proof Assistant / The Coq Development Team       */
-/*  v      *   INRIA, CNRS and contributors - Copyright 1999-2019       */
-/* <O___,, *       (see CREDITS file for the list of authors)           */
+/*  v      *         Copyright INRIA, CNRS and contributors             */
+/* <O___,, * (see version control and CREDITS file for authors & dates) */
 /*   \VV/  **************************************************************/
 /*    //   *    This file is distributed under the terms of the         */
 /*         *     GNU Lesser General Public License Version 2.1          */
diff --git a/doc/sphinx/_static/notations.css b/doc/sphinx/_static/notations.css
index 3806ba6ee6..733a73bd21 100644
--- a/doc/sphinx/_static/notations.css
+++ b/doc/sphinx/_static/notations.css
@@ -1,7 +1,7 @@
 /************************************************************************/
 /*         *   The Coq Proof Assistant / The Coq Development Team       */
-/*  v      *   INRIA, CNRS and contributors - Copyright 1999-2019       */
-/* <O___,, *       (see CREDITS file for the list of authors)           */
+/*  v      *         Copyright INRIA, CNRS and contributors             */
+/* <O___,, * (see version control and CREDITS file for authors & dates) */
 /*   \VV/  **************************************************************/
 /*    //   *    This file is distributed under the terms of the         */
 /*         *     GNU Lesser General Public License Version 2.1          */
diff --git a/doc/sphinx/_static/notations.js b/doc/sphinx/_static/notations.js
index 63112312d0..d2eee1f5fa 100644
--- a/doc/sphinx/_static/notations.js
+++ b/doc/sphinx/_static/notations.js
@@ -1,7 +1,7 @@
 /************************************************************************/
 /*         *   The Coq Proof Assistant / The Coq Development Team       */
-/*  v      *   INRIA, CNRS and contributors - Copyright 1999-2019       */
-/* <O___,, *       (see CREDITS file for the list of authors)           */
+/*  v      *         Copyright INRIA, CNRS and contributors             */
+/* <O___,, * (see version control and CREDITS file for authors & dates) */
 /*   \VV/  **************************************************************/
 /*    //   *    This file is distributed under the terms of the         */
 /*         *     GNU Lesser General Public License Version 2.1          */
diff --git a/doc/sphinx/_static/pre-text.css b/doc/sphinx/_static/pre-text.css
index 9d133fb1aa..aa4180d246 100644
--- a/doc/sphinx/_static/pre-text.css
+++ b/doc/sphinx/_static/pre-text.css
@@ -1,7 +1,7 @@
 /************************************************************************/
 /*         *   The Coq Proof Assistant / The Coq Development Team       */
-/*  v      *   INRIA, CNRS and contributors - Copyright 1999-2019       */
-/* <O___,, *       (see CREDITS file for the list of authors)           */
+/*  v      *         Copyright INRIA, CNRS and contributors             */
+/* <O___,, * (see version control and CREDITS file for authors & dates) */
 /*   \VV/  **************************************************************/
 /*    //   *    This file is distributed under the terms of the         */
 /*         *     GNU Lesser General Public License Version 2.1          */
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index d864f8549d..98272810f6 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -1,8 +1,8 @@
 #!/usr/bin/env python3
 ##########################################################################
 ##         #   The Coq Proof Assistant / The Coq Development Team       ##
-##  v      #   INRIA, CNRS and contributors - Copyright 1999-2019       ##
-## <O___,, #       (see CREDITS file for the list of authors)           ##
+##  v      #         Copyright INRIA, CNRS and contributors             ##
+## <O___,, # (see version control and CREDITS file for authors & dates) ##
 ##   \VV/  ###############################################################
 ##    //   #    This file is distributed under the terms of the         ##
 ##         #     GNU Lesser General Public License Version 2.1          ##
diff --git a/doc/sphinx/coqdoc.css b/doc/sphinx/coqdoc.css
index 2ac2af1c13..a325a33842 100644
--- a/doc/sphinx/coqdoc.css
+++ b/doc/sphinx/coqdoc.css
@@ -1,7 +1,7 @@
 /************************************************************************/
 /*         *   The Coq Proof Assistant / The Coq Development Team       */
-/*  v      *   INRIA, CNRS and contributors - Copyright 1999-2019       */
-/* <O___,, *       (see CREDITS file for the list of authors)           */
+/*  v      *         Copyright INRIA, CNRS and contributors             */
+/* <O___,, * (see version control and CREDITS file for authors & dates) */
 /*   \VV/  **************************************************************/
 /*    //   *    This file is distributed under the terms of the         */
 /*         *     GNU Lesser General Public License Version 2.1          */
-- 
cgit v1.2.3