diff options
| -rw-r--r-- | doc/frr-sphinx.mk | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/doc/frr-sphinx.mk b/doc/frr-sphinx.mk index 3d91e8f63d..df4056760d 100644 --- a/doc/frr-sphinx.mk +++ b/doc/frr-sphinx.mk @@ -11,11 +11,13 @@ PAPER ?= BUILDDIR = _build # User-friendly check for sphinx-build -ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1) -SPHINXBUILD = sphinx-1.0-build -endif -ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1) -$(error "The '$(SPHINXBUILD)' command was not found. Make sure you have Sphinx installed, then set the SPHINXBUILD make variable to point to the full path of the '$(SPHINXBUILD)' executable. Alternatively you can add the directory with the executable to your PATH. If you don't have Sphinx installed, grab it from http://sphinx-doc.org/") +ifneq ($(MAKECMDGOALS), clean) + ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1) + SPHINXBUILD = sphinx-1.0-build + endif + ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1) + $(error "The '$(SPHINXBUILD)' command was not found. Make sure you have Sphinx installed, then set the SPHINXBUILD make variable to point to the full path of the '$(SPHINXBUILD)' executable. Alternatively you can add the directory with the executable to your PATH. If you don't have Sphinx installed, grab it from http://sphinx-doc.org/") + endif endif # Internal variables. |