Makefile update for check_doc target