diff options
-rw-r--r-- | configure.ac | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index d068efddd4..d7b575ba18 100644 --- a/configure.ac +++ b/configure.ac @@ -3992,6 +3992,9 @@ AS_REQUIRE_SHELL_FN([config_summary], ])] ) +AS_IF([test $install_doc = yes], + [DOCTARGETS=`echo " $RDOCTARGET $CAPITARGET " | sed 's/ nodoc //g;s/^ *//;s/ *$//'`], + [DOCTARGETS=no]) echo "---" echo "Configuration summary for $RUBY_BASE_NAME version $MAJOR.$MINOR.$TEENY" echo "" @@ -4017,7 +4020,7 @@ config_summary "optflags" "$optflags" config_summary "debugflags" "$debugflags" config_summary "warnflags" "$warnflags" config_summary "strip command" "$STRIP" -config_summary "install doc" "$install_doc" +config_summary "install doc" "$DOCTARGETS" config_summary "JIT support" "$MJIT_SUPPORT" config_summary "man page type" "$MANTYPE" config_summary "search path" "$search_path" |