diff options
| author | David Bremner <david@tethera.net> | 2015-01-18 17:55:10 +0100 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2015-01-22 08:37:25 +0100 |
| commit | d241a486facf1002b29e499c2fb96a302bfd825b (patch) | |
| tree | a18fc476da15603c4377863ea031dd8969118f2d /doc/Makefile.local | |
| parent | 7fcd100a2f4fcc3762f2f73bcca3c30cc971b67a (diff) | |
doc: remove support for rst2man
It was becoming increasingly complicated to support rst2man, and there
were apparently not many people that relied on it.
Diffstat (limited to 'doc/Makefile.local')
| -rw-r--r-- | doc/Makefile.local | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/doc/Makefile.local b/doc/Makefile.local index e7d0bac8..0bdf2e12 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -7,7 +7,6 @@ SPHINXOPTS := -q SPHINXBUILD = sphinx-build DOCBUILDDIR := $(dir)/_build -prerst2man := python $(srcdir)/$(dir)/prerst2man.py mkdocdeps := python $(srcdir)/$(dir)/mkdocdeps.py # Internal variables. @@ -50,8 +49,6 @@ ifeq ($(HAVE_SPHINX),1) mkdir -p $(DOCBUILDDIR)/man/man$${section}; \ mv $(DOCBUILDDIR)/man/*.$${section} $(DOCBUILDDIR)/man/man$${section}; \ done -else ifeq ($(HAVE_RST2MAN),1) - $(prerst2man) $(srcdir)/doc $(DOCBUILDDIR)/man else @echo "Fatal: build dependency fail." @false @@ -79,10 +76,10 @@ endif # Do not try to build or install man pages if a man page converter is # not available. -ifeq ($(HAVE_SPHINX)$(HAVE_RST2MAN),00) +ifeq ($(HAVE_SPHINX),0) build-man: install-man: - @echo "No sphinx or rst2man, will not install man pages." + @echo "No sphinx, will not install man pages." else build-man: ${MAN_GZIP_FILES} install-man: ${MAN_GZIP_FILES} |