python: sphinx modification
authorBen McGinnes <ben@adversary.org>
Tue, 4 Dec 2018 22:31:10 +0000 (09:31 +1100)
committerBen McGinnes <ben@adversary.org>
Tue, 4 Dec 2018 22:31:10 +0000 (09:31 +1100)
* The make.bat file incorrectly triggers the trailing whitespace check
  in the git repo (it doesn't actually have any trailing whitespace,
  but triggers the error on every line).
* Will need to add a script to handle future org-mode conversions of
  the index page anyway, so will get that script to deal with this
  problem too by generating the make.bat file if the platform is
  detected as Windows.

Signed-off-by: Ben McGinnes <ben@adversary.org>
lang/python/doc/rst/make.bat [deleted file]

diff --git a/lang/python/doc/rst/make.bat b/lang/python/doc/rst/make.bat
deleted file mode 100644 (file)
index 27f573b..0000000
+++ /dev/null
@@ -1,35 +0,0 @@
-@ECHO OFF\r
-\r
-pushd %~dp0\r
-\r
-REM Command file for Sphinx documentation\r
-\r
-if "%SPHINXBUILD%" == "" (\r
-       set SPHINXBUILD=sphinx-build\r
-)\r
-set SOURCEDIR=.\r
-set BUILDDIR=_build\r
-\r
-if "%1" == "" goto help\r
-\r
-%SPHINXBUILD% >NUL 2>NUL\r
-if errorlevel 9009 (\r
-       echo.\r
-       echo.The 'sphinx-build' command was not found. Make sure you have Sphinx\r
-       echo.installed, then set the SPHINXBUILD environment variable to point\r
-       echo.to the full path of the 'sphinx-build' executable. Alternatively you\r
-       echo.may add the Sphinx directory to PATH.\r
-       echo.\r
-       echo.If you don't have Sphinx installed, grab it from\r
-       echo.http://sphinx-doc.org/\r
-       exit /b 1\r
-)\r
-\r
-%SPHINXBUILD% -M %1 %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%\r
-goto end\r
-\r
-:help\r
-%SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%\r
-\r
-:end\r
-popd\r