diff options
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
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 |