install instructions updated

README

@@ -19,13 +19,16 @@ generic grammar processor performs various tasks with the grammars:
     * random generation
     * syntax editing 
 
-GF particularly addresses two aspects of grammars:
+GF particularly addresses four aspects of grammars:
 
     * multilinguality (parallel grammars for different languages)
     * semantics (semantic conditions of well-formedness, semantic 
       properties of expressions) 
+    * grammar engineering (modularity, abstractions, libraries)
+    * embeddability in programs written in other languages (C,C++,
+      Haskell, Java, JavaScript)
 
+INSTALLATION of binary distribution: see INSTALL
 
-INSTALLATION
-
+INSTALLATION of source distribution:
 See src/INSTALL for installation instructions.

src/INSTALL.binary

@@ -2,9 +2,13 @@ Installing a binary GF distribution:
 
 1. Untar the distribution file:
 
-   $ gtar -zxf GF-2.0-[host].tar.gz
+   $ gtar -zxf GF-2.8-[host].tar.gz
 
-2. Run configure:
+2. Go to the created directory:
+
+   $ cd GF-2.8-[host]
+
+3. Run configure:
 
    $ ./configure
 
@@ -13,6 +17,22 @@ Installing a binary GF distribution:
 
    $ ./configure --prefix=/usr
 
-3. Install:
+4. Install:
 
    $ make install
+
+If the above procedure should fail (e.g. you don't have "make" available), you
+can do a manual install:
+
+  1. Untar the package and go to the GF directory, as 1-2 above.
+
+  2. The executable is the file "gf". You may want to move it somewhere
+     else, e.g. /usr/local/bin
+
+  3. The libraries are in the subdirectory "lib/". It is recommended to
+     create an environment variable GF_LIB_PATH pointing to that directory.
+     In the bash shell, you do
+
+     $ export GF_LIB_PATH=[your gf directory]/lib
+
+

src/Makefile

@@ -235,6 +235,7 @@ rpm: dist
 binary-dist: 
 	rm -rf $(BIN_DIST_DIR)
 	mkdir $(BIN_DIST_DIR)
+	mkdir $(BIN_DIST_DIR)/lib
 	./configure --host="$(host)" --build="$(build)"
 	$(MAKE) all
 	$(INSTALL) ../bin/$(GF_EXE) tools/$(GF_DOC_EXE) $(BIN_DIST_DIR)
@@ -246,7 +247,7 @@ binary-dist:
 	$(INSTALL) -m 0644 INSTALL.binary $(BIN_DIST_DIR)/INSTALL
 	$(INSTALL) -m 0644 Makefile.binary $(BIN_DIST_DIR)/Makefile
 	$(MAKE) lib
-	$(TAR) -C $(BIN_DIST_DIR) -zxf ../lib/compiled.tgz
+	$(TAR) -C $(BIN_DIST_DIR)/lib -zxf ../lib/compiled.tgz
 	$(TAR) -zcf GF-$(PACKAGE_VERSION)-$(host).tgz $(BIN_DIST_DIR)
 	rm -rf $(BIN_DIST_DIR)