info_TEXINFOS = doc/python-configure.texi