+# 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.
+
+EXTRA_DIST=simgrid_config.h.in
+
+include_HEADERS = gras.h xbt.h simgrid_config.h