From ffd9b12fe9e279fa896fc7e89d4f4d26c260ddfc Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 6 Jun 2019 11:22:09 +0200
Subject: Update copyright years outside of headers.

These were found with the following command:
$ git grep "1999-" | grep -v "2019"
---
 doc/common/styles/html/simple/cover.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/common/styles/html/simple')

diff --git a/doc/common/styles/html/simple/cover.html b/doc/common/styles/html/simple/cover.html
index 6053131045..28ce2eb087 100644
--- a/doc/common/styles/html/simple/cover.html
+++ b/doc/common/styles/html/simple/cover.html
@@ -30,7 +30,7 @@
 <br /><br /><br />
 
 
-<p style="text-indent:0pt">Copyright © INRIA 1999-2017</p>
+<p style="text-indent:0pt">Copyright © 1999-2019, Inria, CNRS and contributors</p>
 
 <p style="text-indent: 0pt">This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at <a href="http://www.opencontent.org/openpub">http://www.opencontent.org/openpub</a>). Options A and B are not elected.</p>
 
-- 
cgit v1.2.3