doc: instead of automatically disabling the documentation building, we provide the configure option --disable-build-doc, otherwise, when installing from a tarball on a machine without makeinfo will prevent the installation of the documentation (Thanks to Ludovic Courtes and hydra for the hint)

configure.ac

@@ -1690,16 +1690,9 @@ m4_ifdef([AM_SILENT_RULES],
 # Documentation                          #
 ##########################################
 
-enable_build_doc=yes
-AC_CHECK_PROGS([CHECK_TEXI2DVI], [texi2dvi], "no")
-if test "$CHECK_TEXI2DVI" == "no" ; then
-    enable_build_doc=no
-else
-    AC_CHECK_PROGS([CHECK_TEX], [tex], "no")
-    if test "$CHECK_TEX" == "no" ; then
-	enable_build_doc=no
-    fi
-fi
+AC_ARG_ENABLE(build-doc, [AS_HELP_STRING([--disable-build-doc],
+			[disable building of documentation])],
+			enable_build_doc=$enableval, enable_build_doc=yes)
 AM_CONDITIONAL(BUILD_DOC, [test x$enable_build_doc != xno])
 
 ###############################################################################

doc/chapters/configuration.texi

@@ -71,6 +71,11 @@ directory specified by @var{prefix}.
 Specify hwloc should not be used by StarPU.
 @end defvr
 
+@defvr {Configure option} --disable-build-doc
+Disable the creation of the documentation. This should be done on a
+machine which does not have the tools @code{makeinfo} and @code{tex}.
+@end defvr
+
 Additionally, the @command{configure} script recognize many variables, which
 can be listed by typing @code{./configure --help}. For example,
 @code{./configure NVCCFLAGS="-arch sm_13"} adds a flag for the compilation of