Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'tamer/configure.ac')
-rw-r--r--tamer/configure.ac7
1 files changed, 4 insertions, 3 deletions
diff --git a/tamer/configure.ac b/tamer/configure.ac
index 06a30fe..8229790 100644
--- a/tamer/configure.ac
+++ b/tamer/configure.ac
@@ -91,10 +91,11 @@ AC_MSG_CHECKING([whether cargo-doc is available for toolchain])
AS_IF([cargo $CARGO_DOC_FLAGS doc --help &>/dev/null],
[AC_MSG_RESULT(yes)],
[AC_MSG_RESULT(no)
- cargo $CARGO_DOC_FLAGS doc --help # run again so user can see output
- AC_MSG_ERROR([missing cargo-doc for toolchain])])
+ # run again so user can see output
+ cargo $CARGO_DOC_FLAGS doc --help 2>&1 | sed 's/^.*: //'
+ AC_MSG_WARN([missing cargo-doc for toolchain])
+ AC_MSG_WARN([`make html` will not work])])
AC_CONFIG_FILES([Makefile])
AC_OUTPUT
-