Installing vg_skin.h and dependent .h files, on Josef's request, as it makes

separate skins easier to install.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1773

diff --git a/include/Makefile.am b/include/Makefile.am
index 114ae11f2f5d5565de9b223e9a2ca2341183d647..069ef7a0755a4205dc1fbd1eda8ecad0c709d86e 100644 (file)
--- a/include/Makefile.am
+++ b/include/Makefile.am
@@ -1,11 +1,10 @@
 EXTRA_DIST = \
-       vg_constants_skin.h \
-       vg_profile.c \
-       vg_skin.h
+       vg_profile.c
 
 incincdir = $(includedir)/valgrind
 
 incinc_HEADERS = \
-       valgrind.h
-
-
+       valgrind.h \
+       vg_constants_skin.h \
+       vg_skin.h \
+       ../coregrind/vg_kerneliface.h