diff --git a/misc-tools/.gitignore b/misc-tools/.gitignore
index bb48b82358..65e289a3b6 100644
--- a/misc-tools/.gitignore
+++ b/misc-tools/.gitignore
@@ -1,5 +1,6 @@
 /fix_permissions
 /configure-domjudge
+/export-contest
 /import-contest
 /dj_make_chroot
 /dj_make_chroot_docker