do not forget headers for the dist.

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

diff --git a/tools/gras/Makefile.am b/tools/gras/Makefile.am
index 0bafc4b..6cefd53 100644 (file)
--- a/tools/gras/Makefile.am
+++ b/tools/gras/Makefile.am
@@ -2,6 +2,7 @@ AM_CFLAGS = -g3
 
 INCLUDES = -I$(top_srcdir)/include -I$(top_srcdir)/src/include -I$(top_srcdir)/src
 
+EXTRA_DIST = gras_stub_generator.h
 bin_PROGRAMS = gras_stub_generator 
 # skel_rewriter