gpl.texi   [plain text]