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
1 file changed
tree: facd76b8ee6569a6c1e89cdc752b4cd22ac6249c
  1. doc/