Merge pull request #57 from archfrog/master

Changed 'sphinx-build-3' into 'sphinx-build' as the former is gone.
f0rki · Apr 23, 2023 · 0268173 · 0268173
2 parents 1784cab + b520945
commit 0268173
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -2,8 +2,8 @@
 #
 
 # You can set these variables from the command line.
-SPHINXOPTS    = 
-SPHINXBUILD   = sphinx-build-3
+SPHINXOPTS    =
+SPHINXBUILD   = sphinx-build
 SPHINXPROJ    = MappingHighLevelConstructstoLLVMIR
 SOURCEDIR     = .
 BUILDDIR      = _build