Documentation should be in Texinfo format, or in a format easily convertible to Texinfo.
Die Dokumentation sollte im Texinfo-Format, oder in einem Format, das sich leicht nach Texinfo konvertieren lässt, gespeichert sein.