fixed paths for page deployment

Helsinki-NLP · May 15, 2024 · 2031b6e · 2031b6e
1 parent 07bf07f
commit 2031b6e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/docs/Makefile b/docs/Makefile
@@ -4,7 +4,7 @@
 # You can set these variables from the command line.
 SPHINXOPTS    =
 SPHINXBUILD   = python3 -msphinx
-SPHINXPROJ    = mammoth
+SPHINXPROJ    = OpusDistillery
 SOURCEDIR     = source
 BUILDDIR      = build
 

diff --git a/docs/index.rst → docs/source/index.rst b/docs/index.rst → docs/source/index.rst