[gentoo-commits] proj/devmanual:master commit in: /

[Ulrich Müller]

commit:     867c1219f744ac96c18ba44105008fce2dd60d70
Author:     Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Sun Oct 10 10:31:02 2021 +0000
Commit:     Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Sun Oct 10 10:33:59 2021 +0000
URL:        https://gitweb.gentoo.org/proj/devmanual.git/commit/?id=867c1219

Makefile: Add "check" target

Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org>

 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0a40cc3..cf57852 100644
--- a/Makefile
+++ b/Makefile
@@ -99,6 +99,8 @@ tidy: $(HTMLS) $(ECLASS_HTMLS)
        test $${status} -eq 0 && echo "tidy validation successful"; \
        exit $${status}
 
+check: validate tidy
+
 dist:
        COMMITDATE=$$(TZ=UTC git log -1 --pretty="format:%cd" \
          --date="format-local:%Y%m%d"); \
@@ -109,6 +111,6 @@ dist:
 clean:
        @rm -f $(HTMLS) $(IMAGES) documents.js .depend
 
-.PHONY: all prereq build install validate tidy dist clean
+.PHONY: all prereq build install check validate tidy dist clean
 
 -include .depend