diff --git a/util/LLgen/Makefile b/util/LLgen/Makefile index 9b798f92..25850c35 100644 --- a/util/LLgen/Makefile +++ b/util/LLgen/Makefile @@ -2,24 +2,28 @@ EMHOME=../.. INSTALLDIR=$(EMHOME)/bin LIBDIR=$(EMHOME)/lib/LLgen +MANDIR=$(EMHOME)/man -all: cmp +all: + cd src; make clean: -cd src; make clean install: cd src; make - rm -f $(INSTALLDIR)/LLgen $(LIBDIR)/rec $(LIBDIR)/incl + rm -f $(INSTALLDIR)/LLgen $(LIBDIR)/rec $(LIBDIR)/incl $(MANDIR)/LLgen.1 cp src/LLgen $(INSTALLDIR)/LLgen cp lib/rec $(LIBDIR)/rec cp lib/incl $(LIBDIR)/incl + cp LLgen.1 $(MANDIR)/LLgen.1 cmp: cd src; make -cmp src/LLgen $(INSTALLDIR)/LLgen -cmp lib/rec $(LIBDIR)/rec -cmp lib/incl $(LIBDIR)/incl + -cmp LLgen.1 $(MANDIR)/LLgen.1 distr: cd src; make distr