From 38c3cfbf27bf62e63e955cbab80783ea11b40b06 Mon Sep 17 00:00:00 2001
From: Frédéric Buclin <LpSolit@gmail.com>
Date: Tue, 21 Jan 2014 17:36:46 +0100
Subject: Bug 961398: Let rst2pdf build the PDF documentation if pdflatex is
 not available r=gerv a=glob

---
 docs/en/make.bat | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'docs/en/make.bat')

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
-- 
cgit v1.2.3-24-g4f1b