Hi Neil,

Neil Jerram <[EMAIL PROTECTED]> writes:

> Below is the patch that I propose for this.  Please let me know if you
> have any comments.

It looks nice to me.  Little nitpicking: I'd personally prefer
`$GUILE_CONFIG_DIRECTORY' rather than `$GUILE_CONF_DIR'.

> I'd personally like to have this in 1.8.  Any objections?

I agree.

Thanks!

Ludo'.


_______________________________________________
Guile-devel mailing list
Guile-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/guile-devel

Reply via email to