-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
doxygen Doxyfile.Examples >/dev/null
@top_srcdir@/tools/doxygen/index_create.pl html/API/API.tag api_index.doc
cp @srcdir@/simgrid_logo.png @srcdir@/simgrid_modules.png html/
+ cp @srcdir@/Paje_MSG_screenshot_thn.jpg @srcdir@/Paje_MSG_screenshot.jpg html/
doxygen Doxyfile.API >/dev/null
doxygen Doxyfile.Examples >/dev/null
doxygen Doxyfile.main >/dev/null
done
.PHONY: html
+
+include $(top_srcdir)/acmacro/dist-files.mk