Added interpreter

diff --git a/distr/Action b/distr/Action
index 57424f0..33f143c 100644 (file)
--- 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 1dd113b..92794ad 100644 (file)
--- a/util/.distr
+++ b/util/.distr
@@ -14,3 +14,4 @@ ncgg
 opt
 shf
 topgen
+int