From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 21 May 2021 08:02:57 +0000 (-0700)
Subject: api docs: Update copyright. (#6596)
X-Git-Tag: cvc5-1.0.0~1715
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d6372cf53c77d205f796d40603f36228844b6de6;p=cvc5.git

api docs: Update copyright. (#6596)
---

diff --git a/docs/conf.py.in b/docs/conf.py.in
index 07a4d8a76..9dc5255bd 100644
--- a/docs/conf.py.in
+++ b/docs/conf.py.in
@@ -27,8 +27,8 @@ if("${BUILD_BINDINGS_JAVA}" == "ON"):
 # -- Project information -----------------------------------------------------
 
 project = 'cvc5'
-copyright = '2021, The Authors of cvc5'
-author = 'The Authors of cvc5'
+copyright = '2021, the authors of cvc5'
+author = 'The authors of cvc5'
 
 
 # -- General configuration ---------------------------------------------------