FYI: I finally fixed the bug that kept "make install" from installing info pages. Now that I understand the problem, I also checked for any other instances that could lead to similar problems in the future. (I found a couple and fixed them.) --Jim