diff options
Diffstat (limited to 'man2/pause.2')
| -rw-r--r-- | man2/pause.2 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/man2/pause.2 b/man2/pause.2 index 5cb1f469f3..9f854cbd89 100644 --- a/man2/pause.2 +++ b/man2/pause.2 @@ -1,5 +1,6 @@ .\" Copyright (c) 1992 Drew Eckhardt (drew@cs.colorado.edu), March 28, 1992 .\" +.\" %%%LICENSE_START(verbatim) .\" Permission is granted to make and distribute verbatim copies of this .\" manual provided the copyright notice and this permission notice are .\" preserved on all copies. @@ -19,6 +20,7 @@ .\" .\" Formatted or processed versions of this manual, if unaccompanied by .\" the source, must acknowledge the copyright and authors of this work. +.\" %%%LICENSE_END .\" .\" Modified by Michael Haardt (michael@moria.de) .\" Modified Sat Jul 24 14:48:00 1993 by Rik Faith (faith@cs.unc.edu) |