Skip to content

Commit 9f84648

Browse files
authored
Docs: Add windows make file (#528)
1 parent 7b7ccad commit 9f84648

File tree

2 files changed

+39
-1
lines changed

2 files changed

+39
-1
lines changed

docs/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,4 +17,4 @@ help:
1717
# Catch-all target: route all unknown targets to Sphinx using the new
1818
# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
1919
%: Makefile
20-
@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
20+
@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)

docs/make.bat

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
@ECHO OFF
2+
3+
pushd %~dp0
4+
5+
REM Command file for Sphinx documentation
6+
7+
if "%SPHINXBUILD%" == "" (
8+
set SPHINXBUILD=python -msphinx
9+
)
10+
set SPHINXOPTS=
11+
set SPHINXBUILD=sphinx-build
12+
set SOURCEDIR=.
13+
set BUILDDIR=_build
14+
set SPHINXPROJ=ReadtheDocsSphinxTheme
15+
16+
if "%1" == "" goto help
17+
18+
%SPHINXBUILD% >NUL 2>NUL
19+
if errorlevel 9009 (
20+
echo.
21+
echo.The Sphinx module was not found. Make sure you have Sphinx installed,
22+
echo.then set the SPHINXBUILD environment variable to point to the full
23+
echo.path of the 'sphinx-build' executable. Alternatively you may add the
24+
echo.Sphinx directory to PATH.
25+
echo.
26+
echo.If you don't have Sphinx installed, grab it from
27+
echo.http://sphinx-doc.org/
28+
exit /b 1
29+
)
30+
31+
%SPHINXBUILD% -M %1 %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%
32+
goto end
33+
34+
:help
35+
%SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%
36+
37+
:end
38+
popd

0 commit comments

Comments
 (0)