diff options
| author | Alejandro Colomar <alx.manpages@gmail.com> | 2022-09-05 13:43:36 +0200 |
|---|---|---|
| committer | Alejandro Colomar <alx.manpages@gmail.com> | 2022-09-05 13:44:20 +0200 |
| commit | 5423a6f86b2b920a5f3e8cf8d759b513050f2d33 (patch) | |
| tree | 70974467d19d7aeff7ab3f593fbb80bd03741dc6 | |
| parent | 4094c27a59adefe40355ed6034b371a2303af179 (diff) | |
| download | man-pages-5423a6f86b2b920a5f3e8cf8d759b513050f2d33.tar.gz | |
lint-man.mk: Don't discard unrecognized control sequences
This shouldn't change anything if everything is correct, but it
may help detect some weird bugs in corner cases.
Reported-by: Ralph Corderoy <ralph@inputplus.co.uk>
Signed-off-by: Alejandro Colomar <alx.manpages@gmail.com>
| -rw-r--r-- | lib/lint-man.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/lint-man.mk b/lib/lint-man.mk index 7d4da36716..d23114209c 100644 --- a/lib/lint-man.mk +++ b/lib/lint-man.mk @@ -48,6 +48,7 @@ GROTTYFLAGS := $(DEFAULT_GROTTYFLAGS) $(EXTRA_GROTTYFLAGS) GROTTY := grotty DEFAULT_COLFLAGS := -b +DEFAULT_COLFLAGS += -p DEFAULT_COLFLAGS += -x EXTRA_COLFLAGS := COLFLAGS := $(DEFAULT_COLFLAGS) $(EXTRA_COLFLAGS) |