diff options
author | Frédéric Buclin <LpSolit@gmail.com> | 2014-01-21 17:36:46 +0100 |
---|---|---|
committer | Frédéric Buclin <LpSolit@gmail.com> | 2014-01-21 17:36:46 +0100 |
commit | 38c3cfbf27bf62e63e955cbab80783ea11b40b06 (patch) | |
tree | 213302271de3b5499e6803f461084bd79c94bb1a /docs/en/make.bat | |
parent | 91ae795be29e4ab48da994e1e33c21b2d3c524b5 (diff) | |
download | bugzilla-38c3cfbf27bf62e63e955cbab80783ea11b40b06.tar.gz bugzilla-38c3cfbf27bf62e63e955cbab80783ea11b40b06.tar.xz |
Bug 961398: Let rst2pdf build the PDF documentation if pdflatex is not available
r=gerv a=glob
Diffstat (limited to 'docs/en/make.bat')
-rw-r--r-- | docs/en/make.bat | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/en/make.bat b/docs/en/make.bat index 5c1494bf7..c12f0a720 100644 --- a/docs/en/make.bat +++ b/docs/en/make.bat @@ -187,4 +187,11 @@ results in %BUILDDIR%/doctest/output.txt. goto end ) +if "%1" == "pdf" ( + %SPHINXBUILD% -b pdf -t enable_rst2pdf %ALLSPHINXOPTS% %BUILDDIR%/pdf + echo. + echo.Build finished. The PDF file is in %BUILDDIR%/pdf + goto end +) + :end |