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 /lib | |
| 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 'lib')
0 files changed, 0 insertions, 0 deletions