[PATCH] doc: Makefile: remove target refcheckdocs

[Patrick Delaunay]

Remove the target refcheckdocs, based on the missing script
scripts/documentation-file-ref-check.

This script exists in Linux tree but wasn't imported when 'doc' move
to SPHINX in commit 78a88f7930be ("doc: Replace DocBook with
sphinx-based docs")

This patch avoids the error:

make refcheckdocs
/bin/sh: scripts/documentation-file-ref-check: No such file or directory
doc/Makefile:102: recipe for target 'refcheckdocs' failed
make[1]: *** [refcheckdocs] Error 127
Makefile:2094: recipe for target 'refcheckdocs' failed
make: *** [refcheckdocs] Error 2

Signed-off-by: Patrick Delaunay <patrick.delaunay at st.com>
---

 doc/Makefile | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index 0e0da5666f..2ef0be7c9b 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -98,9 +98,6 @@ endif # HAVE_SPHINX
 # The following targets are independent of HAVE_SPHINX, and the rules should
 # work or silently pass without Sphinx.
 
-refcheckdocs:
-	$(Q)cd $(srctree);scripts/documentation-file-ref-check
-
 cleandocs:
 	$(Q)rm -rf $(BUILDDIR)
 	$(Q)$(MAKE) BUILDDIR=$(abspath $(BUILDDIR)) $(build)=doc/media clean
@@ -113,7 +110,6 @@ dochelp:
 	@echo  '  epubdocs        - EPUB'
 	@echo  '  xmldocs         - XML'
 	@echo  '  linkcheckdocs   - check for broken external links (will connect to external hosts)'
-	@echo  '  refcheckdocs    - check for references to non-existing files under Documentation'
 	@echo  '  cleandocs       - clean all generated files'
 	@echo
 	@echo  '  make SPHINXDIRS="s1 s2" [target] Generate only docs of folder s1, s2'
-- 
2.17.1