Move some internal tools out of the way, to not scare users.

[simgrid.git] / tools / internal / check_dist_archive.exclude

diff --git a/tools/check_dist_archive.exclude b/tools/internal/check_dist_archive.exclude
similarity index 87%
rename from tools/check_dist_archive.exclude
rename to tools/internal/check_dist_archive.exclude
index 22152d3..76425a8 100644 (file)
--- a/tools/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -43,9 +43,4 @@
 
 + teshsuite/smpi/mpich3-test/f77/attr/.*
 
-+ tools/check_dist_archive
-+ tools/check_dist_archive\.exclude
-+ tools/generate-multi-jar\.py
-+ tools/update_copyright_header
-
-+ tools/spell/.*
++ tools/internal/.*