diff options
author | 2008-12-30 13:14:41 +0000 | |
---|---|---|
committer | 2008-12-30 13:14:41 +0000 | |
commit | 4d229a9fe33eefce63cf1b66536211a13fad25aa (patch) | |
tree | b920bf9b655c90523ccf96af86c23669d0ae6273 /usr.bin/man/man.c | |
parent | Add missing newline to error message printf. (diff) | |
download | wireguard-openbsd-4d229a9fe33eefce63cf1b66536211a13fad25aa.tar.xz wireguard-openbsd-4d229a9fe33eefce63cf1b66536211a13fad25aa.zip |
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. */ |