diff options
| -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) |