summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorHarrissou Sant-anna <delazj@gmail.com>2020-06-30 03:06:11 +0200
committerGitHub <noreply@github.com>2020-06-30 03:06:11 +0200
commit9cf95615d0a05397f33633b01a1c20ae3588f187 (patch)
treee529a9331a0d131df2e2de12fd61d623efa973d8 /Makefile
parentec9af606c6cfa515f946d74da9b51574f2f9b16f (diff)
downloadsphinx-git-9cf95615d0a05397f33633b01a1c20ae3588f187.tar.gz
Fix sentence
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 84b2000c2..d37d8546e 100644
--- a/Makefile
+++ b/Makefile
@@ -83,6 +83,6 @@ build:
.PHONY: docs
docs:
ifndef target
- $(info You need to give a provide a target variable, e.g. `make docs target=html`.)
+ $(info You need to provide a target variable, e.g. `make docs target=html`.)
endif
$(MAKE) -C doc $(target)