On Mar 1, 2010, at 14:24, Neil Jerram wrote: > Looks good to me; presumably you'll commit this?
Sure, I'll check it in shortly. I also just sent a couple of patches in other mail (subject "Re: build problems"); Jose, you will probably need the patch to doc/ref/Makefile.am as well. Ken
