From 2132e3562608994353efc56999754a8d247d50a9 Mon Sep 17 00:00:00 2001 From: Michael Olbrich Date: Thu, 23 Jun 2016 22:16:41 +0200 Subject: Makefile.in: fix installing if sphinx-build is not found Signed-off-by: Michael Olbrich (cherry picked from commit 99fadb91ea644a9a6e37c898633e15d41368e207) Signed-off-by: Michael Olbrich --- Makefile.in | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 8c34bfaaf..f55642388 100644 --- a/Makefile.in +++ b/Makefile.in @@ -70,7 +70,9 @@ environment: @ln -sf @BASH@ "$(abs_srcdir)/bin/bash" @ln -sf @SYSCTL@ "$(abs_srcdir)/bin/sysctl" @ln -sf @MAKE@ "$(abs_srcdir)/bin/make" - @ln -sf @SPHINX@ "$(abs_srcdir)/bin/sphinx-build" + @if [ @SPHINX@ != "sphinx-build" ]; then \ + ln -sf @SPHINX@ "$(abs_srcdir)/bin/sphinx-build"; \ + fi @echo " done" man: man/ptxdist.1.gz -- cgit v1.2.3