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 | |
| 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')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ all: # List all subdirectories here. Each contains its own Makefile.local. # Use of '=', without '+=', seems to be required for out-of-tree # builds to work. -subdirs = compat completion doc emacs lib man parse-time-string performance-test util test +subdirs = compat completion doc emacs lib parse-time-string performance-test util test # We make all targets depend on the Makefiles themselves. global_deps = Makefile Makefile.config Makefile.local \ |