summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorIngo Schwarze <schwarze@openbsd.org>2012-11-16 22:21:05 +0000
committerIngo Schwarze <schwarze@openbsd.org>2012-11-16 22:21:05 +0000
commitfef2be9d4fbfa0fd7ac0a086c950c1ce9013a984 (patch)
tree81f4f49ee588e1bb33214f329f50637fe674b62d
parent82b810d5c731f9ec651a74358edd7bc1447233ba (diff)
downloadmandoc-fef2be9d4fbfa0fd7ac0a086c950c1ce9013a984.tar.gz
Warn about unknown volume or arch in Dt macro arguments;
patch written by Nicolas Joly <njoly at pasteur dot fr>.
-rw-r--r--mandoc.h1
-rw-r--r--mdoc_validate.c2
-rw-r--r--read.c1
3 files changed, 3 insertions, 1 deletions
diff --git a/mandoc.h b/mandoc.h
index af8a5d93..1a53ea11 100644
--- a/mandoc.h
+++ b/mandoc.h
@@ -50,6 +50,7 @@ enum mandocerr {
MANDOCERR_NOTITLE, /* no title in document */
MANDOCERR_UPPERCASE, /* document title should be all caps */
MANDOCERR_BADMSEC, /* unknown manual section */
+ MANDOCERR_BADVOLARCH, /* unknown manual volume or arch */
MANDOCERR_NODATE, /* date missing, using today's date */
MANDOCERR_BADDATE, /* cannot parse date, using it verbatim */
MANDOCERR_PROLOGOOO, /* prologue macros out of order */
diff --git a/mdoc_validate.c b/mdoc_validate.c
index 8dcd19f8..80808d93 100644
--- a/mdoc_validate.c
+++ b/mdoc_validate.c
@@ -2205,9 +2205,9 @@ post_dt(POST_ARGS)
free(mdoc->meta.vol);
mdoc->meta.vol = mandoc_strdup(cp);
} else {
- /* FIXME: warn about bad arch. */
cp = mdoc_a2arch(nn->string);
if (NULL == cp) {
+ mdoc_nmsg(mdoc, nn, MANDOCERR_BADVOLARCH);
free(mdoc->meta.vol);
mdoc->meta.vol = mandoc_strdup(nn->string);
} else
diff --git a/read.c b/read.c
index c124e1b2..26356239 100644
--- a/read.c
+++ b/read.c
@@ -95,6 +95,7 @@ static const char * const mandocerrs[MANDOCERR_MAX] = {
"no title in document",
"document title should be all caps",
"unknown manual section",
+ "unknown manual volume or arch",
"date missing, using today's date",
"cannot parse date, using it verbatim",
"prologue macros out of order",