bin/: Remove outdated PTL-related scripts

diff --git a/bin/compyle-ptl b/bin/compyle-ptl
deleted file mode 100755 (executable)
index 97292bb..0000000
--- a/bin/compyle-ptl
+++ /dev/null
@@ -1,11 +0,0 @@
-#! /usr/bin/env python
-
-
-import sys
-from quixote.ptl.ptl_compile import compile
-
-if len(sys.argv) <= 1:
-   sys.exit(1)
-
-for file in sys.argv[1:]:
-   compile(file, file[:-3]+'pyc')

diff --git a/bin/compyleall-ptl b/bin/compyleall-ptl
deleted file mode 100755 (executable)
index bf602a9..0000000
--- a/bin/compyleall-ptl
+++ /dev/null
@@ -1,7 +0,0 @@
-#! /usr/bin/env python
-
-
-import sys
-from quixote.ptl.ptl_compile import compile_dir
-
-compile_dir('.')