diff options
author | Pavel Grunt <pgrunt@redhat.com> | 2015-11-24 10:15:39 +0100 |
---|---|---|
committer | Pavel Grunt <pgrunt@redhat.com> | 2015-11-24 10:15:39 +0100 |
commit | 9ac63958c7689167d11066d60c2d282c09385bdc (patch) | |
tree | 45ed2dd851651199e3eb5ff567db63be5de8264a /publishconf.py | |
parent | 180d3af26c5e04c9586e32617c842a7c941f80bc (diff) |
Use introduction as the home page
Diffstat (limited to 'publishconf.py')
-rw-r--r-- | publishconf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/publishconf.py b/publishconf.py index 47eed20..836b8d3 100644 --- a/publishconf.py +++ b/publishconf.py @@ -52,7 +52,7 @@ MENUITEMS = [ SUBMENUS = { "documentation" : [ - ("Introduction", "introduction.html"), + # ("Introduction", "introduction.html"), ("Overview", "documentation.html"), ("Manual", "spice-user-manual.html"), ("spice-gtk API", "spice-gtk.html"), |