From 3a740ef0445928ea0f27adf4720b6b78233d6fd5 Mon Sep 17 00:00:00 2001
From: Ingo Schwarze <schwarze@openbsd.org>
Date: Sat, 24 Jun 2017 15:59:50 +0000
Subject: in the base system, suggest leaving .Os blank; inspired by mdoclint

---
 mdoc_validate.c | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'mdoc_validate.c')

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;
-- 
cgit v1.2.3-56-ge451