Clean up for public availability.

git-svn-id: svn://svn.valgrind.org/vex/trunk@1014

diff --git a/VEX/docs/README b/VEX/docs/README
new file mode 100644 (file)
index 0000000..93910e1
--- /dev/null
+++ b/VEX/docs/README
@@ -0,0 +1,3 @@
+The intermediate representation ("IR") that underlies Vex has
+extensive technical documentation available.  Please mail
+jseward@acm.org if you want a copy.

diff --git a/VEX/docs/irdefn.sxw b/VEX/docs/irdefn.sxw
deleted file mode 100644 (file)
index 476ba4f..0000000
Binary files a/VEX/docs/irdefn.sxw and /dev/null differ

diff --git a/VEX/docs/itanium_port.sxw b/VEX/docs/itanium_port.sxw
deleted file mode 100644 (file)
index 90f3179..0000000
Binary files a/VEX/docs/itanium_port.sxw and /dev/null differ