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>