diff options
author | Ingo Schwarze <schwarze@openbsd.org> | 2017-06-24 15:59:50 +0000 |
---|---|---|
committer | Ingo Schwarze <schwarze@openbsd.org> | 2017-06-24 15:59:50 +0000 |
commit | 3a740ef0445928ea0f27adf4720b6b78233d6fd5 (patch) | |
tree | 2830a76241cb5b199148694233f11afdc813c4a6 /mdoc_validate.c | |
parent | a70f21c0692d63a23e666b09912d21d50f61f0cb (diff) | |
download | mandoc-3a740ef0445928ea0f27adf4720b6b78233d6fd5.tar.gz mandoc-3a740ef0445928ea0f27adf4720b6b78233d6fd5.tar.zst mandoc-3a740ef0445928ea0f27adf4720b6b78233d6fd5.zip |
in the base system, suggest leaving .Os blank; inspired by mdoclint
Diffstat (limited to 'mdoc_validate.c')
-rw-r--r-- | mdoc_validate.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/mdoc_validate.c b/mdoc_validate.c index 67f1525f..fd45d763 100644 --- a/mdoc_validate.c +++ b/mdoc_validate.c @@ -1,4 +1,4 @@ -/* $Id: mdoc_validate.c,v 1.340 2017/06/24 14:38:33 schwarze Exp $ */ +/* $Id: mdoc_validate.c,v 1.341 2017/06/24 15:59:50 schwarze Exp $ */ /* * Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv> * Copyright (c) 2010-2017 Ingo Schwarze <schwarze@openbsd.org> @@ -2584,6 +2584,13 @@ out: * the operating system earlier. */ + if (n->child != NULL) + mandoc_vmsg(MANDOCERR_OS_ARG, mdoc->parse, + n->child->line, n->child->pos, + "Os %s (%s)", n->child->string, + mdoc->meta.os_e == MANDOC_OS_OPENBSD ? + "OpenBSD" : "NetBSD"); + while (n->tok != MDOC_Dd) if ((n = n->prev) == NULL) return; |