python-lib.info.  The annotation is needed to prevent at least GNU make from
building a second set of info files with the lib.info base name.