+# Copyright (c) 2004-2007. The SimGrid team. All right reserved.
+
+# This file is part of the SimGrid project. This is free software:
+# You can redistribute and/or modify it under the terms of the
+# GNU LGPL (v2.1) licence.
+
+
include_HEADERS = gras.h xbt.h
nobase_include_HEADERS = \
xbt/misc.h \
