cafdb7d27e
Manuel complet DauphinCraft v0.1.0 : 14 pages RST (joueur, admin, dev, annexes), conf.py rtd-theme, Makefile/make.bat, build HTML propre. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
39 lines
688 B
Batchfile
39 lines
688 B
Batchfile
@ECHO OFF
|
|
|
|
pushd %~dp0
|
|
|
|
REM Command file for Sphinx documentation
|
|
|
|
if "%SPHINXBUILD%" == "" (
|
|
set SPHINXBUILD=sphinx-build
|
|
)
|
|
set SOURCEDIR=.
|
|
set BUILDDIR=_build
|
|
|
|
if "%1" == "" goto help
|
|
|
|
%SPHINXBUILD% >NUL 2>NUL
|
|
if errorlevel 9009 (
|
|
echo.
|
|
echo.The 'sphinx-build' command was not found. Make sure you have Sphinx
|
|
echo.installed, then set the SPHINXBUILD environment variable to point
|
|
echo.to the full path of the 'sphinx-build' executable.
|
|
exit /b 1
|
|
)
|
|
|
|
if "%1" == "html" (
|
|
%SPHINXBUILD% -b html %SOURCEDIR% %BUILDDIR%/html %SPHINXOPTS%
|
|
goto end
|
|
)
|
|
|
|
if "%1" == "clean" (
|
|
rmdir /s /q %BUILDDIR%
|
|
goto end
|
|
)
|
|
|
|
:help
|
|
%SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%
|
|
|
|
:end
|
|
popd
|