info_TEXINFOS = openocd.texi openocd_TEXINFOS = fdl.texi