diff --git a/distr/Action b/distr/Action
index 57424f0b2..33f143c57 100644
--- a/distr/Action
+++ b/distr/Action
@@ -20,3 +20,9 @@ end
 name "ego share pop_push file"
 dir util/ego/share
 end
+name "create .distr file for interpreter"
+dir util/int
+end
+name "create .distr file for interpreter docs"
+dir doc/int
+end
diff --git a/util/.distr b/util/.distr
index 1dd113b42..92794ad6e 100644
--- a/util/.distr
+++ b/util/.distr
@@ -14,3 +14,4 @@ ncgg
 opt
 shf
 topgen
+int