diff options
| author | Daniil Baturin <daniil@baturin.org> | 2018-12-31 14:54:20 +0100 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2018-12-31 14:54:20 +0100 |
| commit | bab369dad049dc4376146e5a82c3eb06bfbfd905 (patch) | |
| tree | fea1acda531ec162f835c973374ff5dcec886965 /docs/make.bat | |
| parent | 6d7d528c5a1a6ae4b959112667c7edce1a90d486 (diff) | |
| parent | aa0eb3349d354ea245a243124ee7b3b4cb8ca81f (diff) | |
| download | vyos-build-bab369dad049dc4376146e5a82c3eb06bfbfd905.tar.gz vyos-build-bab369dad049dc4376146e5a82c3eb06bfbfd905.zip | |
Merge branch 'current' into crux
Conflicts:
scripts/live-build-config
Diffstat (limited to 'docs/make.bat')
| -rw-r--r-- | docs/make.bat | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/docs/make.bat b/docs/make.bat deleted file mode 100644 index 1fb9f4f0..00000000 --- a/docs/make.bat +++ /dev/null @@ -1,36 +0,0 @@ -@ECHO OFF
-
-pushd %~dp0
-
-REM Command file for Sphinx documentation
-
-if "%SPHINXBUILD%" == "" (
- set SPHINXBUILD=sphinx-build
-)
-set SOURCEDIR=.
-set BUILDDIR=_build
-set SPHINXPROJ=Buildiso
-
-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
|