diff options
| author | bringert <unknown> | 2004-06-22 14:59:04 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-06-22 14:59:04 +0000 |
| commit | d0ee0d6901ad5ece6f3abd6d7a6683c5bb0b1b3f (patch) | |
| tree | 33a38201024cfd7647a4d9cc726546ddb1d8926a /src/Makefile | |
| parent | cf1df1bab52d5af4c6561d6de32e2cf098629d4d (diff) | |
install target now installs gfdoc
Diffstat (limited to 'src/Makefile')
| -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 .. |