From b936dbbe0c1785e04074e78d5c85dfa916eec58a Mon Sep 17 00:00:00 2001
From: alegrand <alegrand@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Wed, 26 Nov 2008 14:03:06 +0000
Subject: [PATCH] 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
---
 src/Makefile.am | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Makefile.am b/src/Makefile.am
index 8611ddfbd2..93ff77b29b 100644
--- 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/gtnets/gtnets_interface.h \
+	surf/gtnets/gtnets_simulator.h \
+	surf/gtnets/gtnets_topology.h  \
 	\
 	include/surf/maxmin.h \
 	include/surf/trace_mgr.h \
-- 
2.20.1