Add useful gnets headers to the dist.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@6109 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/Makefile.am b/src/Makefile.am
index 8611ddf..93ff77b 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -50,6 +50,9 @@ EXTRA_DIST= \
        surf/network_private.h \
        surf/network_common.h \
        surf/network_gtnets_private.h \
        surf/network_private.h \
        surf/network_common.h \
        surf/network_gtnets_private.h \

+       surf/gtnets/gtnets_interface.h \
+       surf/gtnets/gtnets_simulator.h \
+       surf/gtnets/gtnets_topology.h  \

        \
        include/surf/maxmin.h \
        include/surf/trace_mgr.h \
        \
        include/surf/maxmin.h \
        include/surf/trace_mgr.h \