The node you are looking for is at Short Sample Texinfo File.