doc/doxygen_dev: no file refman.tex

doc/doxygen_dev/Makefile.am

@@ -154,8 +154,7 @@ CLEANFILES = $(DOX_TAG) starpu_config.h \
 
 endif
 
-EXTRA_DIST += doxygen.cfg refman.tex \
-	      $(chapters) $(images)
+EXTRA_DIST += doxygen.cfg $(chapters) $(images)
 
 # Rule to update documentation on web server. Should only be used locally.
 PUBLISHHOST	?= gforge