From 66e9bbae624f00044c9a7802cc8084f1e76c1cc2 Mon Sep 17 00:00:00 2001 From: Dong Daxiang <35550832+guru4elephant@users.noreply.github.com> Date: Sat, 28 Sep 2019 22:13:38 +0800 Subject: [PATCH] Update Makefile --- docs/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Makefile b/docs/Makefile index ee23016..d0c3cbf 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -5,7 +5,7 @@ # from the environment for the first two. SPHINXOPTS ?= SPHINXBUILD ?= sphinx-build -SOURCEDIR = src +SOURCEDIR = source BUILDDIR = build # Put it first so that "make" without argument is like "make help". -- GitLab