​​​​​Texinfo 7․0 kennt mehr Formate
#GNU #Texinfo

Das GNU Dokumentationssystem Texinfo ist in Version․․․