diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-27 16:48:28 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-27 16:48:28 +0000 |
| commit | f8d4738a436c32c7c71e975b2dfd5559f9ebc73a (patch) | |
| tree | 618c172d0b792a0bb4687a68307b9ae1a38bd4b9 /src/Makefile | |
| parent | 7d7d951c05b9eb4c63c542fa0fd2cd46e43ad5bd (diff) | |
added api/Combinators for Eng
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/Makefile b/src/Makefile index eb645642b..e64c738ea 100644 --- a/src/Makefile +++ b/src/Makefile @@ -209,10 +209,7 @@ binary-dist: ./configure --host="$(host)" --build="$(build)" $(MAKE) all $(INSTALL) ../bin/$(GF_EXE) tools/$(GF_DOC_EXE) $(BIN_DIST_DIR) - $(INSTALL) -m 0644 JavaGUI/gf-java.jar $(BIN_DIST_DIR) - $(INSTALL) -m 0644 $(GFEDITOR)/gfeditor.jar $(BIN_DIST_DIR) $(INSTALL) configure config.guess config.sub install-sh $(BIN_DIST_DIR) - $(INSTALL) -m 0644 config.mk.in jgf.in gfeditor.in $(BIN_DIST_DIR) $(INSTALL) -m 0644 ../README ../LICENSE $(BIN_DIST_DIR) $(INSTALL) -m 0644 INSTALL.binary $(BIN_DIST_DIR)/INSTALL $(INSTALL) -m 0644 Makefile.binary $(BIN_DIST_DIR)/Makefile |