Texinfoとは Texinfoは、単一のソースファイルから複数の形式（オンラインドキュメントや印刷用出力）…