@top_srcdir@/include/xbt \
@top_srcdir@/src/surf/ \
@top_srcdir@/src/msg/ \
- @top_srcdir@/src/gras/ \
+ @top_srcdir@/src/gras \
+ @top_srcdir@/src/gras/DataDesc \
+ @top_srcdir@/src/gras/Msg \
+ @top_srcdir@/src/gras/Transport \
+ @top_srcdir@/src/gras/Virtu \
@top_srcdir@/src/xbt/ \
@top_srcdir@/src/modules.doc \
./api_index.doc