include/xbt/automatonparse_promela.h
include/xbt/datadesc.h
include/xbt/socket.h
+ include/xbt/file_stat.h
include/simgrid/platf.h
include/simgrid/modelchecker.h
include/msg/msg.h
#doc/index-API.doc
doc/index.doc
+ ${CMAKE_HOME_DIRECTORY}/doc/logcategories.doc
doc/module-amok.doc
doc/module-gras.doc
doc/module-msg.doc