gmp.texi

.