Fix edit-on-git in sphinx docs

docs/guide/conf.py

@@ -119,7 +119,7 @@ html_context = {
     'display_github': True,
     'github_user': 'verilator',
     'github_repo': 'verilator',
-    'github_version': 'master/docs/user/',
+    'github_version': 'master/docs/',
 }
 
 # Add any paths that contain custom static files (such as style sheets) here,
@@ -130,6 +130,9 @@ html_static_path = ['../_static']
 # If true, "Created using Sphinx" is shown in the HTML footer. Default is True.
 html_show_sphinx = False
 
+html_copy_source = False
+html_show_sourcelink = False
+
 html_use_index = False
 
 html_favicon = "../_static/verilator_32x32_min.png"

docs/guide/index.rst

@@ -1,6 +1,10 @@
 .. Copyright 2003-2021 by Wilson Snyder.
 .. SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
 
+######################
+Verilator User's Guide
+######################
+
 .. toctree::
    :maxdepth: 2
    :caption: Getting Started