diff options
| author | Jason McIntyre <jmc@cvs.openbsd.org> | 2008-12-30 13:14:42 +0000 |
|---|---|---|
| committer | Jason McIntyre <jmc@cvs.openbsd.org> | 2008-12-30 13:14:42 +0000 |
| commit | 47d705387e883a90365323507c392c96e413a1b6 (patch) | |
| tree | 955b2c674884b86417a494e2c395a1c255411610 /usr.bin/man/man.c | |
| parent | 340eef1c04a2766fb9022ffe7c1d7b88b40991b9 (diff) | |
make -S case insensitive; this avoids any confusion over the fact
that MD page headers use mixed case; tidy up the man page regarding this;
diff from Ingo Schwarze
ok sobrado millert krw
Diffstat (limited to 'usr.bin/man/man.c')
| -rw-r--r-- | usr.bin/man/man.c | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/usr.bin/man/man.c b/usr.bin/man/man.c index 04ee82022c2..2192cf8134e 100644 --- a/usr.bin/man/man.c +++ b/usr.bin/man/man.c @@ -1,4 +1,4 @@ -/* $OpenBSD: man.c,v 1.36 2008/01/04 22:37:54 jmc Exp $ */ +/* $OpenBSD: man.c,v 1.37 2008/12/30 13:14:41 jmc Exp $ */ /* $NetBSD: man.c,v 1.7 1995/09/28 06:05:34 tls Exp $ */ /* @@ -40,7 +40,7 @@ static char copyright[] = #if 0 static char sccsid[] = "@(#)man.c 8.17 (Berkeley) 1/31/95"; #else -static char rcsid[] = "$OpenBSD: man.c,v 1.36 2008/01/04 22:37:54 jmc Exp $"; +static char rcsid[] = "$OpenBSD: man.c,v 1.37 2008/12/30 13:14:41 jmc Exp $"; #endif #endif /* not lint */ @@ -172,7 +172,10 @@ main(int argc, char *argv[]) config(conffile); /* Get the machine type unless specified by -S. */ - if (machine == NULL && (machine = getenv("MACHINE")) == NULL) + if (machine || (machine = getenv("MACHINE"))) + for (p = machine; *p; ++p) + *p = tolower(*p); + else machine = MACHINE; /* If there's no _default list, create an empty one. */ |