share/lint, share/mk/: Move *.grep files

They're part of the build system, so put them under <share/mk/>.

Signed-off-by: Alejandro Colomar <alx@kernel.org>

diff --git a/share/lint/groff/man.ignore.grep b/share/mk/build/catman/troff.ignore.grep
similarity index 100%
rename from share/lint/groff/man.ignore.grep
rename to share/mk/build/catman/troff.ignore.grep

diff --git a/share/mk/build/catman/troff.mk b/share/mk/build/catman/troff.mk
index 7d302b83c6626a571b685afbf56cb08e57458fcd..c38ba17c7effbe03dedb88129c7efab9872d1cd3 100644 (file)
--- a/share/mk/build/catman/troff.mk
+++ b/share/mk/build/catman/troff.mk
@@ -46,7 +46,7 @@ _XFAIL_CATMAN_MAN_set := \
 
 
 
-groff_man_ignore_grep := $(DATAROOTDIR)/lint/groff/man.ignore.grep
+troff_man_ignore_grep := $(MAKEFILEDIR)/build/catman/troff.ignore.grep
 
 
 _CATMAN_MAN_set  := $(patsubst $(MANDIR)/%,$(_MANDIR)/%.cat.set,$(NONSO_MAN))
@@ -58,10 +58,10 @@ _CATMAN_MAN_set := $(filter-out $(_XFAIL_CATMAN_MAN_set), $(_CATMAN_MAN_set))
 endif
 
 
-$(_CATMAN_MAN_set): %.cat.set: %.cat.troff $(groff_man_ignore_grep) $(MK) | $$(@D)/
+$(_CATMAN_MAN_set): %.cat.set: %.cat.troff $(troff_man_ignore_grep) $(MK) | $$(@D)/
        $(info  $(INFO_)TROFF           $@)
        ! ($(TROFF) -man $(TROFFFLAGS) $(NROFFFLAGS) <$< 2>&1 >$@ \
-          | $(GREP) -v -f '$(groff_man_ignore_grep)' \
+          | $(GREP) -v -f '$(troff_man_ignore_grep)' \
           || $(TRUE); \
        ) \
        | $(GREP) ^ >&2

diff --git a/share/lint/mandoc/man.ignore.grep b/share/mk/lint/man/mandoc.ignore.grep
similarity index 100%
rename from share/lint/mandoc/man.ignore.grep
rename to share/mk/lint/man/mandoc.ignore.grep

diff --git a/share/mk/lint/man/mandoc.mk b/share/mk/lint/man/mandoc.mk
index 6210c83c2f3fd37928f7c19dbda5a15d73b6a80a..efa69ab11ecf6ba92c11a5c70f3ac22c33bc720c 100644 (file)
--- a/share/mk/lint/man/mandoc.mk
+++ b/share/mk/lint/man/mandoc.mk
@@ -33,7 +33,7 @@ _LINT_man_mandoc := $(filter-out $(_XFAIL_LINT_man_mandoc), $(_LINT_man_mandoc))
 endif
 
 
-mandoc_man_ignore_grep := $(DATAROOTDIR)/lint/mandoc/man.ignore.grep
+mandoc_man_ignore_grep := $(MAKEFILEDIR)/lint/man/mandoc.ignore.grep
 
 
 $(_LINT_man_mandoc): $(_MANDIR)/%.lint-man.mandoc.touch: $(MANDIR)/% $(mandoc_man_ignore_grep) $(MK) | $$(@D)/

diff --git a/share/lint/mandoc/mdoc.ignore.grep b/share/mk/lint/mdoc/mandoc.ignore.grep
similarity index 100%
rename from share/lint/mandoc/mdoc.ignore.grep
rename to share/mk/lint/mdoc/mandoc.ignore.grep

diff --git a/share/mk/lint/mdoc/mandoc.mk b/share/mk/lint/mdoc/mandoc.mk
index 7fc38e6ba6daeb1677dc1f2254f0faa5281eb406..8b209b89c6c4d1c258c7ed63f0de29b285cbf8c4 100644 (file)
--- a/share/mk/lint/mdoc/mandoc.mk
+++ b/share/mk/lint/mdoc/mandoc.mk
@@ -14,7 +14,7 @@ include $(MAKEFILEDIR)/lint/mdoc/_.mk
 include $(MAKEFILEDIR)/src.mk
 
 
-mandoc_mdoc_ignore_grep := $(DATAROOTDIR)/lint/mandoc/mdoc.ignore.grep
+mandoc_mdoc_ignore_grep := $(MAKEFILEDIR)/lint/mdoc/mandoc.ignore.grep
 
 
 $(_LINT_mdoc_mandoc): $(_MANDIR)/%.lint-mdoc.mandoc.touch: $(MANDIR)/% $(mandoc_mdoc_ignore_grep) | $$(@D)/