This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Doc patch, was: bootstrap/5634: ../configure --prefix=~/... doesn't work
Ben Elliston <bje at redhat dot com> writes:
| >>>>> "Gerald" == Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at> writes:
|
| Gerald> (@code{$HOME} perhaps should become @env{$HOME}, but let's
| Gerald> see what the other European you probably had in mind
| Gerald> thinks. ;-) )
|
| Anyone? Anyone?
I agree with Gerald: @env{HOME} seems appropriate.
-- Gaby