Page Menu
Home
Phabricator
Search
Configure Global Search
Log In
Files
F1879853
make.bat
No One
Temporary
Actions
Download File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Size
817 B
Subscribers
None
make.bat
View Options
@
ECHO
OFF
pushd
%~dp0
REM Command file for Sphinx documentation
if
"
%SPHINXBUILD%
"
==
""
(
set
SPHINXBUILD
=
sphinx-build
)
set
SOURCEDIR
=
.
set
BUILDDIR
=
_build
set
SPHINXPROJ
=
monitorDaemon
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. Alternatively you
echo
.may add the Sphinx directory to PATH.
echo
.
echo
.If you don't have Sphinx installed, grab it from
echo
.http://sphinx-doc.org/
exit
/b 1
)
%SPHINXBUILD%
-M
%1
%SOURCEDIR%
%BUILDDIR%
%SPHINXOPTS%
goto
end
:
help
%SPHINXBUILD%
-M help
%SOURCEDIR%
%BUILDDIR%
%SPHINXOPTS%
:
end
popd
File Metadata
Details
Attached
Mime Type
text/x-msdos-batch
Expires
Thu, Jan 23, 6:33 PM (20 h, 45 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
911634
Default Alt Text
make.bat (817 B)
Attached To
rMD monitorDaemon
Event Timeline
Log In to Comment