diff options
author | David Bremner <david@tethera.net> | 2014-03-05 09:34:10 -0400 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2014-03-09 10:41:09 -0300 |
commit | 6f8daa39895c600180530618abc0eb86d56500d0 (patch) | |
tree | 9601a145fac79a9e8f2d68c243719d5198868342 /Makefile.local | |
parent | df70fc4b4b7295f9f5c512c5e1e5c8c46a620944 (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.
Diffstat (limited to 'Makefile.local')
-rw-r--r-- | Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.local b/Makefile.local index 174506c5..5f797ad0 100644 --- a/Makefile.local +++ b/Makefile.local @@ -95,7 +95,7 @@ dist: $(TAR_FILE) .PHONY: update-versions -update-versions: update-man-versions +update-versions: sed -i "s/^__VERSION__[[:blank:]]*=.*$$/__VERSION__ = \'${VERSION}\'/" $(PV_FILE) # We invoke make recursively only to force ordering of our phony |