Documentation: re-enable prev, next buttons

Documentation/conf.py

@@ -93,9 +93,9 @@ html_theme = 'sphinx_rtd_theme'
 
 html_show_sphinx = False
 
-html_theme_options = {
-    'prev_next_buttons_location': None
-}
+#html_theme_options = {
+#    'prev_next_buttons_location': None
+#}
 
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,