api docs: Update copyright. (#6596)

diff --git a/docs/conf.py.in b/docs/conf.py.in
index 07a4d8a76d82d4ebf0c62e7f1f577cbc32206095..9dc5255bd575726ed1cbcefcdff47628ed9cfed0 100644 (file)
--- 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 ---------------------------------------------------