diff options
| author | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-06-23 22:16:41 +0200 |
|---|---|---|
| committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-06-23 22:16:41 +0200 |
| commit | 99fadb91ea644a9a6e37c898633e15d41368e207 (patch) | |
| tree | fa32d4373766067268c7a398e8d6671eb618a975 | |
| parent | ddc181c171320f709a131e531b0621aa49d8c283 (diff) | |
| download | ptxdist-99fadb91ea644a9a6e37c898633e15d41368e207.tar.gz ptxdist-99fadb91ea644a9a6e37c898633e15d41368e207.tar.xz | |
Makefile.in: fix installing if sphinx-build is not found
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
| -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 |