Richard Sandiford wrote: > Mark Mitchell writes: > >>option in either single or double quotes. Any character (including a >>backslash) may be included by prefixing the character to be included >>character with a backslash. > > ^^^^^^^^^ > stray "character"? Thanks! I took the libiberty of checking in the attached patch, which removes the last occurrence "character", which had clearly escaped (from my machine)... -- Mark Mitchell CodeSourcery, LLC mark@codesourcery.com (916) 791-8304