diff options
| author |  David Bremner <david@tethera.net> | 2014-01-28 12:12:38 -0400 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2014-03-09 10:41:09 -0300 |
| commit | df70fc4b4b7295f9f5c512c5e1e5c8c46a620944 (patch) | |
| tree | de61e22a9ae99cbcfd0c30d2a084614f13ed53a8 /doc/Makefile.local | |
| parent | d736260385a689b5c77d8121f48e29440e3adfa4 (diff) | |
doc: add target rst2man to build man pages using rst2man
Many people have docutils installed, but not sphinx. Allow these
people to build the man pages.
Diffstat (limited to 'doc/Makefile.local')
| -rw-r--r-- | doc/Makefile.local | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/Makefile.local b/doc/Makefile.local index ec230125..47192473 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -7,10 +7,13 @@ SPHINXOPTS := -q -c $(dir) SPHINXBUILD = sphinx-build DOCBUILDDIR := $(dir)/_build +prerst2man := python $(dir)/prerst2man.py + # Internal variables. ALLSPHINXOPTS := -d $(DOCBUILDDIR)/doctrees $(SPHINXOPTS) $(dir) .PHONY: sphinx-html sphinx-man sphinx-texinfo sphinx-info +.PHONY: rst2man sphinx-html: $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(DOCBUILDDIR)/html @@ -24,4 +27,8 @@ sphinx-texinfo: sphinx-info: sphinx-texinfo make -C $(DOCBUILDDIR)/texinfo info +# fallback target in case sphinx not installed +rst2man: + $(prerst2man) $(DOCBUILDDIR)/.. $(DOCBUILDDIR)/man + CLEAN := $(CLEAN) $(DOCBUILDDIR) |