diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-09-13 10:46:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-13 10:46:49 +0200 |
| commit | be0b77fd29b07ec9c05f7e532733a5aa2dda0346 (patch) | |
| tree | 7576e8758633bd9ca9b44ee1abc9102d4adbd869 | |
| parent | b2875d1acc4f7788c39432719627a9aa367ecd87 (diff) | |
| parent | 0fd29f76a239a926684dccbfbfe904cf6494690b (diff) | |
Merge pull request #65642 from voylin/fix_spaces_in_path_for_doc/makefile
| -rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index ecc5e51dd6..c8bf32d6e2 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,4 +1,4 @@ -BASEDIR = $(CURDIR) +BASEDIR = . CLASSES = $(BASEDIR)/classes/ $(BASEDIR)/../modules/ OUTPUTDIR = $(BASEDIR)/_build TOOLSDIR = $(BASEDIR)/tools |