From 622eeecfb0d57eba00c54f81a964ce9422711f79 Mon Sep 17 00:00:00 2001 From: Tom Arne Pedersen Date: Tue, 21 Jan 2025 08:39:17 +0100 Subject: [PATCH] updating the makefile --- docs/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Makefile b/docs/Makefile index ed88099..d0c3cbf 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -5,7 +5,7 @@ # from the environment for the first two. SPHINXOPTS ?= SPHINXBUILD ?= sphinx-build -SOURCEDIR = . +SOURCEDIR = source BUILDDIR = build # Put it first so that "make" without argument is like "make help".