From f8d4738a436c32c7c71e975b2dfd5559f9ebc73a Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 27 Jun 2008 16:48:28 +0000 Subject: added api/Combinators for Eng --- src/Makefile | 3 --- 1 file changed, 3 deletions(-) (limited to 'src/Makefile') 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 -- cgit v1.2.3