Added a "distr" entry, which will be propagated to the src directory.

diff --git a/util/LLgen/Makefile b/util/LLgen/Makefile
index 216eb23..67d903c 100644 (file)
--- a/util/LLgen/Makefile
+++ b/util/LLgen/Makefile
@@ -19,6 +19,9 @@ cmp:
        -cmp lib/rec $(LIBDIR)/rec
        -cmp lib/incl $(LIBDIR)/incl
 
+distr:
+       cd src; make distr
+
 opr:
        make pr | opr