Texinfo ist das hypertextfähige Dokumentationssystem des GNU-Projektes. == Motivation == Es muss nur ein Quelldokument gepflegt werden, aus dem mit Konvertierungsprogrammen verschiedene Ausgabeformate erzeugt werden können. == Eingabeformat == Eine Texinfo-Quelldatei hat üblicherweise die Dateiendung .texi und sieht fast wie gewöhnlicher Text ...