diff options
| author | hdaniels <unknown> | 2005-06-21 18:40:22 +0000 |
|---|---|---|
| committer | hdaniels <unknown> | 2005-06-21 18:40:22 +0000 |
| commit | 6693b50c9da76b66e958e85a789737bfc1f8f1cf (patch) | |
| tree | 9f1218a27de2acae4b5b275a5b01be53d41650e0 /src/Makefile.binary | |
| parent | 0c71d62d4c6a052738b0a6fc5a22dbba16fad977 (diff) | |
added daniels' version of the Java editor
Diffstat (limited to 'src/Makefile.binary')
| -rw-r--r-- | src/Makefile.binary | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Makefile.binary b/src/Makefile.binary index 669af92cc..c60fd81c7 100644 --- a/src/Makefile.binary +++ b/src/Makefile.binary @@ -8,7 +8,9 @@ install: $(INSTALL) gf$(EXEEXT) gfdoc$(EXEEXT) jgf $(bindir) $(INSTALL) -d $(GF_DATA_DIR) $(INSTALL) -m 0644 gf-java.jar $(GF_DATA_DIR) + $(INSTALL) -m 0644 gfeditor.jar $(GF_DATA_DIR) uninstall: -rm -f $(bindir)/gf$(EXEEXT) $(bindir)/gfdoc$(EXEEXT) $(bindir)/jgf -rm -f $(GF_DATA_DIR)/gf-java.jar + -rm -f $(GF_DATA_DIR)/gfeditor.jar |