diff options
| author | John Gilmore <gnu@cygnus> | 1991-08-01 00:12:56 +0000 |
|---|---|---|
| committer | John Gilmore <gnu@cygnus> | 1991-08-01 00:12:56 +0000 |
| commit | fbcb43b268d8d40e54fe8db1cef66fe701dac514 (patch) | |
| tree | 41dcf3652339c404333dff3046d85865849bdc7d /README.configure | |
| parent | c45c19f8b18ec042f95f634bc2430c4008ff9a3f (diff) | |
| download | gdb-fbcb43b268d8d40e54fe8db1cef66fe701dac514.zip gdb-fbcb43b268d8d40e54fe8db1cef66fe701dac514.tar.gz gdb-fbcb43b268d8d40e54fe8db1cef66fe701dac514.tar.bz2 | |
Remove bogus reference to ${destdir}/lib/gcc.
Diffstat (limited to 'README.configure')
| -rwxr-xr-x | README.configure | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/README.configure b/README.configure index d1a4800..253884c 100755 --- a/README.configure +++ b/README.configure @@ -129,9 +129,7 @@ Configuration Time Options: default location is /usr/local. We refer to this location as $(destdir). All user visible programs will be installed in $(destdir)/bin. All other programs and files will be installed in - a subdirectory of $(destdir)/lib. For the tools in this - directory, the files not normally user visible will be installed - in $(destdir)/lib/gcc. + a subdirectory of $(destdir)/lib. You can elect to change $(destdir) only as a configuration time option. |