Update c-style headers to new year.

8 files changed, 8 insertions, 8 deletions

diff --git a/doc/sphinx/_static/ansi-dark.css b/doc/sphinx/_static/ansi-dark.css
index a564fd70bb..bbace7c553 100644
--- a/doc/sphinx/_static/ansi-dark.css
+++ b/doc/sphinx/_static/ansi-dark.css
@@ -1,6 +1,6 @@
 /************************************************************************/
 /*         *   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/sphinx/_static/ansi.css b/doc/sphinx/_static/ansi.css
index 26bd797709..b3b5341166 100644
--- a/doc/sphinx/_static/ansi.css
+++ b/doc/sphinx/_static/ansi.css
@@ -1,6 +1,6 @@
 /************************************************************************/
 /*         *   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/sphinx/_static/coqdoc.css b/doc/sphinx/_static/coqdoc.css
index bbcc044a20..7a3d59d4c0 100644
--- a/doc/sphinx/_static/coqdoc.css
+++ b/doc/sphinx/_static/coqdoc.css
@@ -1,6 +1,6 @@
 /************************************************************************/
 /*         *   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/sphinx/_static/notations.css b/doc/sphinx/_static/notations.css
index 8322ab0137..4a5fa0b328 100644
--- a/doc/sphinx/_static/notations.css
+++ b/doc/sphinx/_static/notations.css
@@ -1,6 +1,6 @@
 /************************************************************************/
 /*         *   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/sphinx/_static/notations.js b/doc/sphinx/_static/notations.js
index eb7f211e8b..63112312d0 100644
--- a/doc/sphinx/_static/notations.js
+++ b/doc/sphinx/_static/notations.js
@@ -1,6 +1,6 @@
 /************************************************************************/
 /*         *   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/sphinx/_static/pre-text.css b/doc/sphinx/_static/pre-text.css
index 38d81abefe..9d133fb1aa 100644
--- a/doc/sphinx/_static/pre-text.css
+++ b/doc/sphinx/_static/pre-text.css
@@ -1,6 +1,6 @@
 /************************************************************************/
 /*         *   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/sphinx/coqdoc.css b/doc/sphinx/coqdoc.css
index a34bb81ebd..2ac2af1c13 100644
--- a/doc/sphinx/coqdoc.css
+++ b/doc/sphinx/coqdoc.css
@@ -1,6 +1,6 @@
 /************************************************************************/
 /*         *   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/TacticNotations.g b/doc/tools/coqrst/notations/TacticNotations.g
index 01c656eb23..905b52525a 100644
--- a/doc/tools/coqrst/notations/TacticNotations.g
+++ b/doc/tools/coqrst/notations/TacticNotations.g
@@ -1,6 +1,6 @@
 /************************************************************************/
 /*         *   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         */