From 20790c9cf3018387266313b1c36b0b90ebc5857d Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Tue, 14 May 2013 11:01:00 -0400
Subject: [PATCH] Minor doc fixes.

---
 doc/source/conf.py  | 7 ++++---
 doc/source/misc.rst | 6 +++---
 2 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/doc/source/conf.py b/doc/source/conf.py
index 5a9e2309..2594e393 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -11,7 +11,7 @@
 # All configuration values have a default value; values that are commented out
 # serve to show the default value.
 
-import sys, os
+#import sys, os
 
 # If your extensions are in another directory, add it here. If the directory
 # is relative to the documentation root, use os.path.abspath to make it
@@ -99,8 +99,9 @@ else:
     # further.  For a list of options available for each theme, see the
     # documentation.
     html_theme_options = {
-            'navbar_fixed_top': "true",
-            'navbar_class': "navbar navbar-inverse",
+            "navbar_fixed_top": "true",
+            "navbar_class": "navbar navbar-inverse",
+            "navbar_site_name": "Contents",
             }
 
 # The style sheet to use for HTML and HTML Help pages. A file of that name
diff --git a/doc/source/misc.rst b/doc/source/misc.rst
index 76387486..c65b5be1 100644
--- a/doc/source/misc.rst
+++ b/doc/source/misc.rst
@@ -294,12 +294,12 @@ Version 0.90
 
 .. _license:
 
-Licensing
-=========
+License
+=======
 
 PyOpenCL is licensed to you under the MIT/X Consortium license:
 
-Copyright (c) 2009-11 Andreas Klöckner and Contributors.
+Copyright (c) 2009-13 Andreas Klöckner and Contributors.
 
 Permission is hereby granted, free of charge, to any person
 obtaining a copy of this software and associated documentation
-- 
GitLab