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 e2796f303ec0174d2485f62b22bbdc6ac94ed2f4..eb8674270c784140104c3b06f477a51486869ba8 100644 (file)
--- a/tools/internal/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -11,15 +11,10 @@
 
 + BuildSimGrid\.sh
 + COPYRIGHT\.template
-+ README\.coding
-+ \.appveyor\.yml
 + \.circleci/.*
 + \.clang-format
-+ \.classpath
 + \.editorconfig
 + \.gitlab-ci\.yml
-+ \.lgtm\.yml
-+ \.project
 + \.readthedocs.yml
 + sonar-project\.properties
 
@@ -29,8 +24,9 @@
 
 + docs/default.nix
 + docs/source/tuto_network_calibration/network_calibration_tutorial.ipynb
++ docs/source/tuto_network_calibration/clustering_ckmeans.ipynb
++ docs/source/tuto_network_calibration/clustering_dhist.ipynb
 
-+ tools/appveyor-irc-notify\.py
 + tools/docker/.*
 + tools/git-hooks/.*
 + tools/internal/.*