diff --git a/.gitignore b/.gitignore
index d067e42ca..7c760305e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -78,3 +78,10 @@ getl
 lemon_prepared
 lrim
 mlr-[0-9.]*.tar.*
+c/jkopush
+c/run_mlr
+c/mlr_expect_fail
+c/push2f
+data/.gitignore
+doc/jkopush
+doc/push2
diff --git a/c/run_mlr b/c/run_mlr
deleted file mode 100755
index bf6775f43..000000000
--- a/c/run_mlr
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/bash
-echo ""
-echo '#' mlr "$@"
-mlr "$@"