mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
use pushd and popd to enable bat build from different dir #2215 (now with correct line endings)
This commit is contained in:
parent
ef73ecefb2
commit
ed87e531bd
@ -1,5 +1,7 @@
|
||||
@ECHO OFF
|
||||
|
||||
pushd %~dp0
|
||||
|
||||
REM Command file for Sphinx documentation
|
||||
|
||||
if "%SPHINXBUILD%" == "" (
|
||||
@ -31,4 +33,4 @@ goto end
|
||||
%SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%
|
||||
|
||||
:end
|
||||
|
||||
popd
|
||||
|
@ -2,6 +2,8 @@
|
||||
|
||||
REM Command file for Sphinx documentation
|
||||
|
||||
pushd %~dp0
|
||||
|
||||
if "%SPHINXBUILD%" == "" (
|
||||
set SPHINXBUILD=sphinx-build
|
||||
)
|
||||
@ -279,4 +281,4 @@ if "%1" == "dummy" (
|
||||
)
|
||||
|
||||
:end
|
||||
|
||||
popd
|
||||
|
Loading…
Reference in New Issue
Block a user