diff options
| author | Jani Nikula <jani@nikula.org> | 2016-11-05 22:18:14 +0200 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2016-11-17 08:38:20 -0400 |
| commit | c22d5d6770f579cbdb4565440910616e86804fe9 (patch) | |
| tree | 249a038c45402d97c9ef7135b5a1467eb86dbace /doc | |
| parent | 0097e7f5d688bf7f1ec5a0939ded904926aff699 (diff) | |
doc/conf.py: include command name in texinfo document title
Seems to make more sense than to have the same title for everything.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/conf.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/conf.py b/doc/conf.py index f8da1a42..b6cfa1aa 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -132,7 +132,7 @@ man_pages = [ 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'), ] @@ -142,7 +142,7 @@ texinfo_documents += [ ( 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 |