-DOCSOURCES = $(shell find @top_srcdir@/src @top_srcdir@/include -name "*.[chl]") $(shell find @top_srcdir@/src @top_srcdir@/include -name "*.doc")
+DOCSOURCES = $(shell find @top_srcdir@/tools/gras @top_srcdir@/src @top_srcdir@/include -name "*.[chl]") \
+ $(shell find @top_srcdir@/src @top_srcdir@/include -name "*.doc")
EXTRA_DIST = html Doxyfile.API Doxyfile.Examples Doxyfile.main \
modules.doc FAQ.doc index.doc footer.html simgrid_logo.png simgrid_modules.png