diff options
| -rw-r--r-- | src/Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 640d90500..6972a1723 100644 --- a/src/Makefile +++ b/src/Makefile @@ -129,9 +129,16 @@ install-gf2: $(INSTALL) -d $(bindir) $(INSTALL) ../bin/gf2 $(bindir) -install: install-gf2 +install-gfdoc: + $(INSTALL) -d $(bindir) + $(INSTALL) util/gfdoc $(bindir) + +install-editor: $(INSTALL) -d $(libdir)/GF-$(PACKAGE_VERSION) $(INSTALL) jgf2 $(bindir) $(INSTALL) java/gf-java.jar $(libdir)/GF-$(PACKAGE_VERSION) + +install: install-gf2 install-gfdoc install-editor + gfdoc: cd util ; $(GHMAKE) GFDoc.hs -o gfdoc ; cd .. |