diff options
author | Ingo Schwarze <schwarze@openbsd.org> | 2017-06-17 22:43:14 +0000 |
---|---|---|
committer | Ingo Schwarze <schwarze@openbsd.org> | 2017-06-17 22:43:14 +0000 |
commit | 6dab5c29876bfeee770246c6dfbcc1e0aef2f75e (patch) | |
tree | 8ff6fbf981f3bdc5d277d4576475bacd27fcb851 /mdoc_validate.c | |
parent | e480ff62446a168d7089e1c658d50d312188af05 (diff) | |
download | mandoc-6dab5c29876bfeee770246c6dfbcc1e0aef2f75e.tar.gz |
style message about missing RCS ids; inspired by mdoclint
Diffstat (limited to 'mdoc_validate.c')
-rw-r--r-- | mdoc_validate.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/mdoc_validate.c b/mdoc_validate.c index 30652cec..efa80e27 100644 --- a/mdoc_validate.c +++ b/mdoc_validate.c @@ -1806,7 +1806,10 @@ post_root(POST_ARGS) mandoc_msg(MANDOCERR_OS_MISSING, mdoc->parse, 0, 0, NULL); mdoc->meta.os = mandoc_strdup(""); - } + } else if (mdoc->meta.os_e && + (mdoc->meta.rcsids & (1 << mdoc->meta.os_e)) == 0) + mandoc_msg(MANDOCERR_RCS_MISSING, + mdoc->parse, 0, 0, NULL); /* Check that we begin with a proper `Sh'. */ |