doc/conf.py: include command name in texinfo document title

Seems to make more sense than to have the same title for everything.

diff --git a/doc/conf.py b/doc/conf.py
index f8da1a422f9a557b258779a8fa1f4cc30b1a141b..b6cfa1aa3499d468d3fb7f8f22661a2375b0e75a 100644 (file)
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -132,7 +132,7 @@ man_pages = [
 texinfo_no_detailmenu = True
 
 texinfo_documents = [
 texinfo_no_detailmenu = True
 
 texinfo_documents = [

-    ('notmuch-emacs', 'notmuch-emacs', u'notmuch Documentation',
+    ('notmuch-emacs', 'notmuch-emacs', u'notmuch-emacs documentation',

      notmuch_authors, 'notmuch-emacs',
      'emacs based front-end for notmuch', 'Miscellaneous'),
 ]
      notmuch_authors, 'notmuch-emacs',
      'emacs based front-end for notmuch', 'Miscellaneous'),
 ]


@@ -142,7 +142,7 @@ texinfo_documents += [
     (
         x[0],                          # source start file
         x[1],                          # target name
     (
         x[0],                          # source start file
         x[1],                          # target name

-        u'notmuch Documentation',      # title
+        x[1] + u' documentation',      # title

         x[3][0],                       # author
         x[1],                          # dir menu entry
         x[2],                          # description
         x[3][0],                       # author
         x[1],                          # dir menu entry
         x[2],                          # description