diff --git a/LEDA/dont_submit b/LEDA/dont_submit
new file mode 100644
index 00000000000..8614b6090c3
--- /dev/null
+++ b/LEDA/dont_submit
@@ -0,0 +1,3 @@
+include/CGAL/leda_in_CGAL_2.h
+include/CGAL/rat_leda_in_CGAL_2.h
+test