diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/usr.bin/man/man/man.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/gnu/usr.bin/man/man/man.c b/gnu/usr.bin/man/man/man.c index 88efe85..6d2aacd 100644 --- a/gnu/usr.bin/man/man/man.c +++ b/gnu/usr.bin/man/man/man.c @@ -118,7 +118,6 @@ main (argc, argv) int status = 0; char *nextarg; char *tmp; - extern int optind; extern char *mkprogname (); char *is_section (); char **get_section_list (); @@ -305,8 +304,6 @@ man_getopt (argc, argv) register char *p; register char *end; register char **mp; - extern char *optarg; - extern int getopt (); extern void downcase (); extern char *manpath (); |
