Re: [PATCH] doc: Makefile: remove target refcheckdocs