diff --git a/distr/Action b/distr/Action index 57424f0b..33f143c5 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 1dd113b4..92794ad6 100644 --- a/util/.distr +++ b/util/.distr @@ -14,3 +14,4 @@ ncgg opt shf topgen +int