projects / notmuch.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df70fc4) | patch
doc: install sphinx version of man pages
authorDavid Bremner <david@tethera.net>
Wed, 5 Mar 2014 13:34:10 +0000 (09:34 -0400)
committerDavid Bremner <david@tethera.net>
Sun, 9 Mar 2014 13:41:09 +0000 (10:41 -0300)
commit6f8daa39895c600180530618abc0eb86d56500d0
tree9601a145fac79a9e8f2d68c243719d5198868342tree | snapshot
parentdf70fc4b4b7295f9f5c512c5e1e5c8c46a620944commit | diff
doc: install sphinx version of man pages

The python script mkdocdeps.py is used to import the list of man pages
from the sphinx configuration to make.

This will delete the (release only) target update-man-versions. This
will be replaced in a followup commit.
Makefile diff | blob | history
Makefile.local diff | blob | history
doc/Makefile.local diff | blob | history
doc/mkdocdeps.py [new file with mode: 0644] blob
man/Makefile.local [deleted file] blob | history
Thread-based e-mail indexer, supporting quick search and tagging