Signed-off-by: Scott Garman <scott.a.garman@intel.com>
Texinfo is a documentation system that can produce both online information and printed output from a single source file. Signed-off-by: Jingdong Lu <jingdong.lu@windriver.com>