From 4f014835e134784b1a13e6a8205e89d139529300 Mon Sep 17 00:00:00 2001
From: Nico Huber <nico.h@gmx.de>
Date: Wed, 23 Aug 2023 12:41:01 +0200
Subject: [PATCH] docs: Redirect top-level make targets to Documentation/

To avoid redundancy about how to call into `Makefile.sphinx`,
only do that from the `Documentation/Makefile` and call into
that from the top level.

Change-Id: I99c462cdaf83d711e4b7c07b713d304274db8cb4
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/77406
Reviewed-by: Paul Menzel <paulepanter@mailbox.org>
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Simon Glass <sjg@chromium.org>
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index fac1dcaa45..5bc07e8d34 100644
--- a/Makefile
+++ b/Makefile
@@ -468,10 +468,10 @@ cscope:
 	cscope -bR
 
 sphinx:
-	$(MAKE) -C Documentation -f Makefile.sphinx html
+	$(MAKE) -C Documentation sphinx
 
 sphinx-lint:
-	$(MAKE) SPHINXOPTS=-W -C Documentation -f Makefile.sphinx html
+	$(MAKE) SPHINXOPTS=-W -C Documentation sphinx
 
 symlink:
 	@echo "Creating Symbolic Links.."; \