diff options
| author | Jani Nikula <jani@nikula.org> | 2016-11-05 22:18:11 +0200 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2016-11-17 08:35:00 -0400 |
| commit | d0862c32d005700670c7094256de282b4fe94b64 (patch) | |
| tree | 879351d420cb6366dbe09edf1d9aab12e88a2cab /parse-time-string/Makefile.local | |
| parent | fe5f761a8023bfb61d4742597dced18bc4bb7dcd (diff) | |
doc/conf.py: generate texinfo_documents list from man_pages list
No need to repeat mostly the same information twice in conf.py. We
probably want to have a corresponding texinfo document for all the man
pages. Python list comprehension to the rescue. (The reverse is not
true; we have a texinfo document for notmuch-emacs we don't want as a
man page.)
There should be no user visible changes.
Diffstat (limited to 'parse-time-string/Makefile.local')
0 files changed, 0 insertions, 0 deletions