README: update doc related readme (again thanks to Mathieu for reporting the error)

README

@@ -1,7 +1,7 @@
 # StarPU --- Runtime system for heterogeneous multicore architectures.
 #
 # Copyright (C) 2009-2012  Université de Bordeaux
-# Copyright (C) 2010, 2011, 2013, 2014  CNRS
+# Copyright (C) 2010, 2011, 2013, 2014, 2015  CNRS
 #
 # StarPU is free software; you can redistribute it and/or modify
 # it under the terms of the GNU Lesser General Public License as published by
@@ -169,14 +169,11 @@ c:\....>
 || VI. Documentation ||
 ++===================++
 
-Texinfo documentation is available in doc/ . If LaTeX is available on the
-machine, a pdf can be generated by running
+Doxygen documentation is available in doc/doxygen. If the doxygen
+tools are available on the machine, pdf and html documentation can be
+generated by running
 
-  $ make -C doc pdf
-
-If makeinfo is available on the machine, html pages can be generated by running
-
-  $ make -C doc html
+  $ make -C doc
 
 ++=============++
 || VII. Trying ||