tueda / makefile4latex

A GNU Makefile for typesetting LaTeX documents.
MIT License
26 stars 3 forks source link

Option to ignore some errors in make lint #28

Open tueda opened 3 years ago

tueda commented 3 years ago

make lint returns a non-zero exit status if some linters fail, but they may contain bugs and/or report false positives. It is an annoying situation that CI always fails due to false positives. Maybe it is helpful if, by some options, some false positives can be circumvented.

For now, one may use make lint || true as a workaround, but it ignores all errors.