Texinfo ist ein Dokumentationssystem, das eine einzelne Quelldatei verwendet, um sowohl Online- (Info, HTML, XML, Docbook) als auch gedruckte Dokumentation (DVI, PDF) zu erzeugen. (non)
