undo changelog modification

[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 eb8674270c784140104c3b06f477a51486869ba8..0bf5d2782bd6ff39430f6128ebf374861c06a02c 100644 (file)
--- a/tools/internal/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -32,4 +32,4 @@
 + tools/internal/.*
 + tools/jenkins/.*
 
-+ src/simix/simix_network\.tla
++ doc/simix_network\.tla