diff options
| author | Alejandro Colomar <alx@kernel.org> | 2024-06-15 18:05:37 +0200 |
|---|---|---|
| committer | Alejandro Colomar <alx@kernel.org> | 2024-06-15 18:25:43 +0200 |
| commit | 38f9523d1bdc24275f090693fca7a5cc59d9437e (patch) | |
| tree | 1f2bb44e7124d46faf4d1c7aeab16f805fded14e /man/man7 | |
| parent | 2af7f35acd25d743f57f92889ed55bdc8f4cb635 (diff) | |
| download | man-pages-38f9523d1bdc24275f090693fca7a5cc59d9437e.tar.gz | |
share/mk/: lint-man: Merge linting of man(7) and mdoc(7) pages
This simplifies some code, and is also in preparation for the following
commit, which will add more linting operations on both types of manual
pages.
Signed-off-by: Alejandro Colomar <alx@kernel.org>
Diffstat (limited to 'man/man7')
0 files changed, 0 insertions, 0 deletions