diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/usr.bin/man/man/man.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gnu/usr.bin/man/man/man.c b/gnu/usr.bin/man/man/man.c index 9ce35ac..77165d2 100644 --- a/gnu/usr.bin/man/man/man.c +++ b/gnu/usr.bin/man/man/man.c @@ -12,10 +12,13 @@ * Department of Chemical Engineering * The University of Texas at Austin * Austin, Texas 78712 - * - * $FreeBSD$ */ +#ifndef lint +static const char rcsid[] = + "$FreeBSD$"; +#endif /* not lint */ + #define MAN_MAIN #include <sys/file.h> |
