diff --git a/docs/Makefile b/docs/Makefile index ee230164dec3700669ff5ffb775aed068d3793ea..d0c3cbf1020d5c292abdedf27627c6abe25e2293 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".