1 files changed, 0 insertions, 5 deletions
diff --git a/doc/list-pre-compiled.sh b/doc/list-pre-compiled.sh
deleted file mode 100755
index c31caf9..0000000
--- a/doc/list-pre-compiled.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-
-for i in man/*.2; do
-  echo $i
-done