Follow-up Comment #12, bug #62776 (project groff):
[comment #10 comment #10:]
[...]
N.B. Your text lines are unnecessary long.
When deleting lines from output, (one) "sed -e '/<regex>/d' [...]" is
simpler than (many) "grep -v ... || : ...
Or (simpler) use a file for the regular expressions, "sed -f <file>",
where the file contains lines with
/<regex/d
>>
> $(_LINT_man_mandoc): $(_MANDIR)/%.lint-man.mandoc.touch: $(MANDIR)/% |
$$(@D)/
> $(info LINT (mandoc) $@)
> ! ($(MANDOC) -man $(MANDOCFLAGS) $< 2>&1 \
> | $(GREP) -v 'STYLE: lower case character in document title:' \
> | $(GREP) -v 'UNSUPP: ignoring macro in table:' \
> | $(GREP) -v 'WARNING: cannot parse date, using it verbatim: TH
> (date)'
\
> | $(GREP) -v 'WARNING: empty block: UR' \
> | $(GREP) -v 'WARNING: missing date, using "": TH' \
> | $(GREP) -v 'WARNING: undefined escape, printing literally: \\\\' \
> ||:; \
> ) \
> | $(GREP) '.' >&2
> touch $@
>
> $(_LINT_mdoc_mandoc): $(_MANDIR)/%.lint-mdoc.mandoc.touch: $(MANDIR)/% |
$$(@D)/
> $(info LINT (mandoc) $@)
> ! ($(MANDOC) -mdoc $(MANDOCFLAGS) $< 2>&1 \
> | $(GREP) -v 'STYLE: operating system explicitly specified: Os ' \
> | $(GREP) -v 'WARNING: cross reference to self: Xr ' \
> ||:; \
> ) \
> | $(GREP) '.' >&2
> touch $@
>
>
> grep(1) is your tool for disabling unwanted diagnostics. ;)
sed(1) is a better tool.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?62776>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
