summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2016-10-17 06:15:34 +0200
committerNeels Hofmeyr <neels@hofmeyr.de>2016-10-18 17:11:21 +0200
commitb156e764698e560101af25a28eee461fad33f64a (patch)
tree399fc7b848e230a7e57c46f359a42cfee3aa4ea7 /.gitignore
parent4dba500ed50bdfd58b78653b3679d21bf344d70f (diff)
add 'make check' target
Generate *.check files from asciidoc output and grep for WARNINGs. Add *.check files to gitignore and to 'make clean'. Change-Id: Ibccc83a3415930a528f2e8e4e4dda3b81c6d0b64
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 6455215..67c2f69 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,4 +8,5 @@
*.html
*__*.png
*__*.svg
+*.check
generated/