diff --git a/lib/resource-1.0/Makefile b/lib/resource-1.0/Makefile index 9e3c5d76e..d5d851d87 100644 --- a/lib/resource-1.0/Makefile +++ b/lib/resource-1.0/Makefile @@ -143,6 +143,6 @@ gfdoc: mv ../prelude/*.html doc/gfdoc clean: - -rm */*.gfc */*.gfr */*.gf~ ../*/*.gfc ../*/*.gfr ../*/*.gf~ ../*/langs.gfcm ../compiled.tgz langs.gfcm + -rm */*.gfc */*.gfr */*.gf~ ../*/*.gfc ../*/*.gfr ../*/*.gf~ ../*/langs.gfcm ../compiled.tgz diff --git a/lib/resource-1.0/doc/index.html b/lib/resource-1.0/doc/index.html index ac11dcd2b..8a6c09928 100644 --- a/lib/resource-1.0/doc/index.html +++ b/lib/resource-1.0/doc/index.html @@ -7,7 +7,7 @@
@@ -126,10 +126,11 @@ For more details, see the Synopsis.
-If you want to compile the library from scratch, use make:
+If you want to compile the library from scratch, use make in the root of
+the source directory:
- cd $GF_LIB_PATH/resource-1.0
+ cd GF/lib/resource-1.0
make
diff --git a/lib/resource-1.0/doc/index.txt b/lib/resource-1.0/doc/index.txt index 8e434ce1b..dd019e4b4 100644 --- a/lib/resource-1.0/doc/index.txt +++ b/lib/resource-1.0/doc/index.txt @@ -116,9 +116,10 @@ For more details, see the [Synopsis synopsis.html]. ==Compilation== -If you want to compile the library from scratch, use ``make``: +If you want to compile the library from scratch, use ``make`` in the root of +the source directory: ``` - cd $GF_LIB_PATH/resource-1.0 + cd GF/lib/resource-1.0 make ``` The ``make`` procedure does not by default make Arabic and Catalan, but you