-@end ignore
-Permission is granted to copy and distribute modified versions of this
-manual under the conditions for verbatim copying, provided that the
-entire resulting derived work is distributed under the terms of a
-permission notice identical to this one.
-
-Permission is granted to copy and distribute translations of this
-manual into another language, under the above condition for modified
-versions, except that this permission notice may be stated in a
-translation approved by the Free Software Foundation.
-@end ifinfo
-
-@include version.texi