Kill popping_{enum,generated}

[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 8cf4bb6..e2796f3 100644 (file)
--- a/tools/internal/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -27,6 +27,9 @@
 
 + \.github/.*
 
++ docs/default.nix
++ docs/source/tuto_network_calibration/network_calibration_tutorial.ipynb
+
 + tools/appveyor-irc-notify\.py
 + tools/docker/.*
 + tools/git-hooks/.*