1 files changed, 0 insertions, 10 deletions
diff --git a/atari/extract.php b/atari/extract.php
deleted file mode 100755
index 865b70ed7..000000000
--- a/atari/extract.php
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/usr/bin/php
-<?
-$lines = file("deskmenu.c");
-
-foreach($lines as $line){
-	if(stripos($line, "static void __CDECL menu_") === 0){
-		echo $line;
-	}
-}
-?>