diff options
Diffstat (limited to 'docs/INSTALL.GNU')
-rw-r--r-- | docs/INSTALL.GNU | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/INSTALL.GNU b/docs/INSTALL.GNU index 8810f2a30..a04e6fc1c 100644 --- a/docs/INSTALL.GNU +++ b/docs/INSTALL.GNU @@ -152,7 +152,7 @@ instructions in the file `INSTALL.UNIX' instead. To launch the build, simply invoke GNU Make again: The top Makefile will detect the configuration file and run the build with - it. If you have used variables in step 3, you must used the same + it. If you have used variables in step 3, you must use the same variables here, too. |