diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/copyright.texinfo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/copyright.texinfo b/doc/copyright.texinfo index d4a8543ea..5d239b561 100644 --- a/doc/copyright.texinfo +++ b/doc/copyright.texinfo @@ -500,6 +500,7 @@ PURPOSE. @hrule @vskip 12pt @end iftex +@end quotation Permission is granted to make and distribute verbatim copies of this manual provided the copyright notices and this permission notice are |