openocd.texi:12: @include `version.texi': No such file or directory. openocd.texi:47: warning: undefined flag: EDITION. openocd.texi:48: warning: undefined flag: VERSION. openocd.texi:48: warning: undefined flag: UPDATED. makeinfo: Removing output file `openocd.info' due to errors; use --force to preserve. make[2]: *** [openocd.info] Error 1
_______________________________________________ Openocd-development mailing list [email protected] https://lists.berlios.de/mailman/listinfo/openocd-development
