manual.de.texi 3.24 KB