RE: RE: RE: OCTAVE_HOME support in octave_config_info

[michael . goffioul]

> OK, I fixed it to also substitute prefix, exec_prefix, and infofile
> (though maybe infofile should just be the name of the file itself, and
> any code that needs to use that should concat it with infodir).
>
> Currently there is also no substitution for MKOCTFILE_INCFLAGS,
> MKOCTFILE_LFLAGS, or RLD_FLAG because I don't see how to do the
> substitution properly, so I think the portions of these variables that
> contain directory names need to have the substitution done on the
> directory name before those names are combind with the option
> characters, etc.
>
> I also checked in the following change to avoid possibly bad substitutions.

OK, thanks. The reason I implemented multiple substitution was specifically
for cases like MKOCTFILE_INCFLAGS, which contain several instances
of the prefix to substitute. As long as these are not substituted (or another
mechanism is used), single substitution is OK.
 
Michael.