Removed include/vg_skin.h, which has been a shell just pointing to
tool.h for a while now.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3058 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/include/Makefile.am b/include/Makefile.am
index 022c953..26e06ed 100644
--- a/include/Makefile.am
+++ b/include/Makefile.am
@@ -12,8 +12,7 @@
basic_types.h \
tool.h \
tool_asm.h \
- valgrind.h \
- vg_skin.h
+ valgrind.h
BUILT_SOURCES = tool.h valgrind.h
CLEANFILES = tool.h valgrind.h
diff --git a/include/vg_skin.h b/include/vg_skin.h
deleted file mode 100644
index 0628888..0000000
--- a/include/vg_skin.h
+++ /dev/null
@@ -1,3 +0,0 @@
-// "vg_skin.h" was renamed to "tool.h"; this is for backward compatibility
-// with old external tools.
-#include "tool.h"
diff --git a/valgrind.spec.in b/valgrind.spec.in
index 354a5c6..f1b46b7 100644
--- a/valgrind.spec.in
+++ b/valgrind.spec.in
@@ -39,7 +39,6 @@
/usr/include/valgrind/basic_types.h
/usr/include/valgrind/tool.h
/usr/include/valgrind/tool_asm.h
-/usr/include/valgrind/vg_skin.h
/usr/include/valgrind/x86/tool_arch.h
/usr/include/valgrind/linux/vki.h
/usr/include/valgrind/x86-linux/vki_arch.h