+ gras/datadesc.h gras/transport.h \
+ gras/virtu.h gras/emul.h gras/process.h gras/module.h \
+ \
+ gras/messages.h gras/timer.h \
+ \
+ amok/peermanagement.h \
+ amok/bandwidth.h
+
+surf/simgrid_dtd.h:
+ $(MAKE) -C ../src ../include/surf/simgrid_dtd.h
+
+xbt/graphxml.h:
+ $(MAKE) -C ../src ../include/xbt/graphxml.h
+