summaryrefslogtreecommitdiffstats
path: root/share/lint
diff options
context:
space:
mode:
Diffstat (limited to 'share/lint')
-rw-r--r--share/lint/groff/man.ignore.grep3
-rw-r--r--share/lint/mandoc/man.ignore.grep6
-rw-r--r--share/lint/mandoc/mdoc.ignore.grep5
3 files changed, 14 insertions, 0 deletions
diff --git a/share/lint/groff/man.ignore.grep b/share/lint/groff/man.ignore.grep
new file mode 100644
index 0000000..912eb57
--- /dev/null
+++ b/share/lint/groff/man.ignore.grep
@@ -0,0 +1,3 @@
+style: .TH missing fifth argument and second argument
+style: use of deprecated macro: .PD$
+style: use of deprecated macro: .UC$
diff --git a/share/lint/mandoc/man.ignore.grep b/share/lint/mandoc/man.ignore.grep
new file mode 100644
index 0000000..a2f91bc
--- /dev/null
+++ b/share/lint/mandoc/man.ignore.grep
@@ -0,0 +1,6 @@
+STYLE: lower case character in document title:
+UNSUPP: ignoring macro in table:
+WARNING: cannot parse date, using it verbatim: TH (date)
+WARNING: empty block: UR
+WARNING: missing date, using "": TH
+WARNING: undefined escape, printing literally: \\\\
diff --git a/share/lint/mandoc/mdoc.ignore.grep b/share/lint/mandoc/mdoc.ignore.grep
new file mode 100644
index 0000000..3fe2831
--- /dev/null
+++ b/share/lint/mandoc/mdoc.ignore.grep
@@ -0,0 +1,5 @@
+STYLE: legacy man(7) date format: Dd
+STYLE: lower case character in document title: Dt
+STYLE: operating system explicitly specified: Os
+STYLE: referenced manual not found: Xr
+WARNING: cross reference to self: Xr