[docs] Update docs to point to the docs.rs website;

2019-07-10 12:38:54 +02:00
parent d5b80b2803
commit 55f36ce81a
4 changed files with 26 additions and 4 deletions
--- a/cranelift/docs/conf.py
+++ b/cranelift/docs/conf.py
@@ -59,7 +59,7 @@ master_doc = 'index'

 # General information about the project.
 project = u'cranelift'
-copyright = u'2018, Cranelift Developers'
+copyright = u'2019, Cranelift Developers'
 author = u'Cranelift Developers'

 # The version info for the project you're documenting, acts as replacement for