From: David Bremner <david@tethera.net>
Date: Wed, 5 Mar 2014 13:34:10 +0000 (-0400)
Subject: doc: install sphinx version of man pages
X-Git-Tag: 0.18_rc0~107
X-Git-Url: https://git.notmuchmail.org/git?a=commitdiff_plain;h=6f8daa39895c600180530618abc0eb86d56500d0;hp=6f8daa39895c600180530618abc0eb86d56500d0;p=notmuch

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.
---