aboutsummaryrefslogtreecommitdiff
path: root/development/gprolog
diff options
context:
space:
mode:
Diffstat (limited to 'development/gprolog')
-rw-r--r--development/gprolog/README9
1 files changed, 4 insertions, 5 deletions
diff --git a/development/gprolog/README b/development/gprolog/README
index 27077bd867700..9f3f9b381a61d 100644
--- a/development/gprolog/README
+++ b/development/gprolog/README
@@ -1,10 +1,9 @@
-The gprolog configure script appears to ignore the execc-prefix
-information handed to it which indicates where compiled binaries
+The gprolog configure script appears to ignore the exec-prefix
+information handed to it which indicates where compiled binaries
should be installed. It insists on installing everything into
/usr/gprolog-$VERSION/ and then creating symlinks in /usr/bin.
-This script will correct this by moving the files in
-/usr/gprolog-$VERSION to their propper places in /usr,
+This script will correct this by moving the files in
+/usr/gprolog-$VERSION to their proper places in /usr,
ie: binaries are placed in /usr/bin, libraries in /usr/lib or
/usr/lib64 and documentation in /usr/doc/gprolog-$VERSION.
-