diff options
| author | Ben McGinnes <[email protected]> | 2018-12-04 22:31:10 +0000 |
|---|---|---|
| committer | Ben McGinnes <[email protected]> | 2018-12-04 22:31:10 +0000 |
| commit | c8a04af676d981b42172c9bdad82eb83f91c8ce6 (patch) | |
| tree | 27740e89e214155b281dca78d9381cbd9899a5ad | |
| parent | python: Sphinx support (diff) | |
| download | gpgme-c8a04af676d981b42172c9bdad82eb83f91c8ce6.tar.gz gpgme-c8a04af676d981b42172c9bdad82eb83f91c8ce6.zip | |
python: sphinx modification
* 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 <[email protected]>
| -rw-r--r-- | lang/python/doc/rst/make.bat | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/lang/python/doc/rst/make.bat b/lang/python/doc/rst/make.bat deleted file mode 100644 index 27f573b8..00000000 --- a/lang/python/doc/rst/make.bat +++ /dev/null @@ -1,35 +0,0 @@ -@ECHO OFF
-
-pushd %~dp0
-
-REM Command file for Sphinx documentation
-
-if "%SPHINXBUILD%" == "" (
- set SPHINXBUILD=sphinx-build
-)
-set SOURCEDIR=.
-set BUILDDIR=_build
-
-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
|