doc: update dependencies for documentation generation

ChangeLog

@@ -204,6 +204,7 @@ Changes:
   * Tutorial is installed in ${docdir}/tutorial
   * Schedulers eager_central_policy, dm and dmda no longer erroneously respect
     priorities. dmdas has to be used to respect priorities.
+  * Documentation is now generated through doxygen.
 
 Small changes:
   * STARPU_NCPU should now be used instead of STARPU_NCPUS. STARPU_NCPUS is

doc/doxygen/chapters/configure_options.doxy

@@ -99,7 +99,8 @@ Specify <c>hwloc</c> should not be used by StarPU.
 \anchor disable-build-doc
 \addindex __configure__--disable-build-doc
 Disable the creation of the documentation. This should be done on a
-machine which does not have the tools <c>makeinfo</c> and <c>tex</c>.
+machine which does not have the tools <c>doxygen</c> and <c>latex</c>
+(plus the packages <c>latex-xcolor</c> and <c>texlive-latex-extra</c>).
 </dd>
 </dl>