From 02c65e0eca82bd46721d568906cb5fc05ead9beb Mon Sep 17 00:00:00 2001 From: Nils Maier Date: Mon, 19 Aug 2013 00:16:54 +0200 Subject: [PATCH] Always build doc/manual-src Should sphinx-build be not available AND the man file not be prsent, then just "touch" it into existence (and warn about that) --- doc/Makefile.am | 2 -- doc/manual-src/en/Makefile.am | 7 +++++++ doc/manual-src/pt/Makefile.am | 7 +++++++ doc/manual-src/ru/Makefile.am | 7 +++++++ 4 files changed, 21 insertions(+), 2 deletions(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index 9f9c1ebae..626ee9c64 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,6 +1,4 @@ -if HAVE_SPHINXBUILD SUBDIRS = manual-src -endif #SPHINXBUILD doc_xmlrpcdir = $(docdir)/xmlrpc dist_doc_xmlrpc_DATA = xmlrpc/aria2mon \ diff --git a/doc/manual-src/en/Makefile.am b/doc/manual-src/en/Makefile.am index 87eb83bd2..2883070e3 100644 --- a/doc/manual-src/en/Makefile.am +++ b/doc/manual-src/en/Makefile.am @@ -16,8 +16,15 @@ man_MANS = $(BUILDDIR)/man/aria2c.1 EXTRA_DIST = $(man_MANS) aria2c.rst libaria2.rst index.rst README.rst\ technical-notes.rst _static/default2.css mkapiref.py +if HAVE_SPHINXBUILD $(man_MANS): aria2c.rst $(MAKE) man +else +$(man_MANS): + $(warning Building only stub man pages. Please install sphinx-build) + if [ ! -d "$(@D)" ]; then mkdir -p "$(@D)"; fi; + if [ ! -e "$@" ]; then touch "$@"; fi; +endif # Autogenerated rules by sphinx-quickstart diff --git a/doc/manual-src/pt/Makefile.am b/doc/manual-src/pt/Makefile.am index 3051fec26..2fd124ff6 100644 --- a/doc/manual-src/pt/Makefile.am +++ b/doc/manual-src/pt/Makefile.am @@ -16,8 +16,15 @@ mandir = @mandir@/pt man_MANS = $(BUILDDIR)/man/aria2c.1 EXTRA_DIST = $(man_MANS) aria2c.rst index.rst README.rst _static/default2.css +if HAVE_SPHINXBUILD $(man_MANS): aria2c.rst $(MAKE) man +else +$(man_MANS): + $(warning Building only stub man pages. Please install sphinx-build) + if [ ! -d "$(@D)" ]; then mkdir -p "$(@D)"; fi; + if [ ! -e "$@" ]; then touch "$@"; fi; +endif # Autogenerated rules by sphinx-quickstart diff --git a/doc/manual-src/ru/Makefile.am b/doc/manual-src/ru/Makefile.am index 6b823e089..41ee6c589 100644 --- a/doc/manual-src/ru/Makefile.am +++ b/doc/manual-src/ru/Makefile.am @@ -16,8 +16,15 @@ mandir = @mandir@/ru man_MANS = $(BUILDDIR)/man/aria2c.1 EXTRA_DIST = $(man_MANS) aria2c.rst index.rst _static/default2.css +if HAVE_SPHINXBUILD $(man_MANS): aria2c.rst $(MAKE) man +else +$(man_MANS): + $(warning Building only stub man pages. Please install sphinx-build) + if [ ! -d "$(@D)" ]; then mkdir -p "$(@D)"; fi; + if [ ! -e "$@" ]; then touch "$@"; fi; +endif # Autogenerated rules by sphinx-quickstart