Re: Patches to run makeinfo on snarfed libguile docstrings

[Greg J. Badros]

All sounds good to me, too-- I've not tried the patches, but the
good is good and the approach is sound.

Thanks,
Greg