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: 76226b69003656f7a8fdc12171520d4aab6cef36
  1. doc/