rename surfxml.dtd into simgrid.dtd

[simgrid.git] / examples / gras / Makefile.in

diff --git a/examples/gras/Makefile.in b/examples/gras/Makefile.in
index 318484b..938ec15 100644 (file)
--- a/examples/gras/Makefile.in
+++ b/examples/gras/Makefile.in
@@ -14,6 +14,12 @@
 
 @SET_MAKE@
 
+# 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.
+
 # Makefile chunk which allows to display the files which should be included
 # into the distribution.
 
@@ -204,7 +210,7 @@ target_os = @target_os@
 target_vendor = @target_vendor@
 top_builddir = @top_builddir@
 top_srcdir = @top_srcdir@
-SUBDIRS = ping rpc spawn timer chrono mutual_exclusion/simple_token mmrpc all2all pmm synchro
+SUBDIRS = ping rpc spawn timer chrono mutual_exclusion/simple_token mmrpc all2all pmm synchro properties
 all: all-recursive
 
 .SUFFIXES: