rename surfxml.dtd into simgrid.dtd

[simgrid.git] / examples / Makefile.am

diff --git a/examples/Makefile.am b/examples/Makefile.am
index 6b01b13..14df417 100644 (file)
--- a/examples/Makefile.am
+++ b/examples/Makefile.am
@@ -4,10 +4,8 @@
 # You can redistribute and/or modify it under the terms of the
 # GNU LGPL (v2.1) licence.
 
+EXTRA_DIST= platforms/prop.xml
 
-SUBDIRS= msg gras amok simdag 
-if HAVE_JAVA
-  SUBDIRS+= java
-endif
+SUBDIRS= msg gras amok simdag java
 
 include $(top_srcdir)/acmacro/dist-files.mk