From 4dc132f1ea9373fd319d9e78e06ae0c79298bef0 Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Mon, 18 May 2015 14:47:49 +0200 Subject: [PATCH] special exception for rst2pdf.pdfbuilder, we know it is safe --- sphinx/application.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/sphinx/application.py b/sphinx/application.py index b0a1f38ebc..425a55d5cf 100644 --- a/sphinx/application.py +++ b/sphinx/application.py @@ -446,6 +446,9 @@ class Sphinx(object): 'version.' % (extension, err)) if ext_meta is None: ext_meta = {} + # special-case for compatibility + if extension == 'rst2pdf.pdfbuilder': + ext_meta = {'parallel_read_safe': True} try: if not ext_meta.get('version'): ext_meta['version'] = 'unknown version'