Kill another bunch of files in doc/ and move their content to docs/

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

diff --git a/tools/internal/check_dist_archive.exclude b/tools/internal/check_dist_archive.exclude
index 008b83ead6f21953551a479338f0cdbc5fc3276c..eb8674270c784140104c3b06f477a51486869ba8 100644 (file)
--- a/tools/internal/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -11,7 +11,6 @@
 
 + BuildSimGrid\.sh
 + COPYRIGHT\.template
-+ README\.coding
 + \.circleci/.*
 + \.clang-format
 + \.editorconfig