From 7c8c72d3b0d12b6d595c7316c3e68a205acdeaf8 Mon Sep 17 00:00:00 2001
From: Steve Klabnik <steve@steveklabnik.com>
Date: Wed, 2 Sep 2015 18:03:17 -0400
Subject: [PATCH] Introduce 'make doc' -> 'make docs'

Because 'doc' is a directory, when running `make doc`, you'll see
this:

    make: Nothing to be done for `doc'.

By adding a target for `doc` to build `docs`, both work.

Fixes #14705
---
 mk/docs.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mk/docs.mk b/mk/docs.mk
index b06ff4a60275f..644fbde323c93 100644
--- a/mk/docs.mk
+++ b/mk/docs.mk
@@ -191,6 +191,7 @@ ifdef CFG_DISABLE_DOCS
 endif
 
 docs: $(DOC_TARGETS)
+doc: docs
 compiler-docs: $(COMPILER_DOC_TARGETS)
 
 trpl: doc/book/index.html