From 0278f5dfcca43bb903e72efcb9826a44538a50e3 Mon Sep 17 00:00:00 2001 From: dillo Date: Fri, 19 Apr 2002 01:34:41 +0000 Subject: [PATCH] Add special case: /dev/pms should refer to opms(4) (if it existed), not to pms(4). Noted by Thomas Klausner. --- share/man/man8/MAKEDEV2manpage.awk | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/share/man/man8/MAKEDEV2manpage.awk b/share/man/man8/MAKEDEV2manpage.awk index eca377b3e381..91731ae5521b 100644 --- a/share/man/man8/MAKEDEV2manpage.awk +++ b/share/man/man8/MAKEDEV2manpage.awk @@ -1,4 +1,4 @@ -# $NetBSD: MAKEDEV2manpage.awk,v 1.2 2002/04/18 13:33:01 dillo Exp $ +# $NetBSD: MAKEDEV2manpage.awk,v 1.3 2002/04/19 01:34:41 dillo Exp $ # # Copyright (c) 2002 # Dieter Baron . All rights reserved. @@ -140,10 +140,14 @@ function read1line() { sub(/[ \t]*$/, "", line); # add manpage, if available - page=target; - sub(/[^a-zA-Z]+/, "", page); if (target == "fd#") page = "fdc"; + else if (target == "pms#") + page = "omps"; + else { + page=target; + sub(/[^a-zA-Z]+/, "", page); + } if (system("test -f ../man4/" page ".4 -o -f ../man4/man4." ARCH "/" page ".4") == 0) { sub(/[ \t]*$/, "", line);