diff --git a/libguile/readline.c b/libguile/readline.c deleted file mode 100644 index e69de29bb..000000000 diff --git a/libguile/readline.h b/libguile/readline.h deleted file mode 100644 index e69de29bb..000000000