Merge branch 'master' into master

[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 61f2bc8..a1031b0 100644 (file)
--- a/tools/internal/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -27,9 +27,6 @@
 
 + contrib/.*
 
-+ docs/requirements\.txt
-+ docs/source/.*
-
 + tools/appveyor-irc-notify\.py
 + tools/docker/.*
 + tools/git-hooks/.*