1 files changed, 0 insertions, 5 deletions
diff --git a/doc/tov8 b/doc/tov8
deleted file mode 100755
index b47f482e8..000000000
--- a/doc/tov8
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-
-./tradv8 $1
-mv $1 $1.save
-mv $1.v8 $1