Skip to content
Snippets Groups Projects
Select Git revision
  • 8cd5620224f0462b30ef85cc3acf0bbc173f8605
  • main default protected
  • change_data_model
  • feature/add_auth_asr_service
  • fix/incorrect_import
  • feature/change_registry_clarin
  • feature/add_base_asr_service
  • feature/add_poetry
  • feature/add_word_ids
  • feature/add_sziszapangma
10 results

make.bat

Blame
  • user avatar
    Marcin Wątroba authored
    0a9519f1
    History
    make.bat 774 B
    @ECHO OFF
    
    pushd %~dp0
    
    REM Command file for Sphinx documentation
    
    if "%SPHINXBUILD%" == "" (
    	set SPHINXBUILD=python -msphinx
    )
    set SOURCEDIR=.
    set BUILDDIR=_build
    set SPHINXPROJ=sziszapangma
    
    if "%1" == "" goto help
    
    %SPHINXBUILD% >NUL 2>NUL
    if errorlevel 9009 (
    	echo.
    	echo.The Sphinx module was not found. Make sure you have Sphinx installed,
    	echo.then set the SPHINXBUILD environment variable to point to the full
    	echo.path of the 'sphinx-build' executable. Alternatively you may add the
    	echo.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