From b3dadd37aa1a9ca8c6be377edb46832b4f3b7256 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Thu, 17 May 2018 20:56:04 -0400
Subject: [doc] Include the rst and LaTeX preambles automatically in all files

---
 doc/sphinx/addendum/parallel-proof-processing.rst | 2 --
 1 file changed, 2 deletions(-)

(limited to 'doc/sphinx/addendum/parallel-proof-processing.rst')

diff --git a/doc/sphinx/addendum/parallel-proof-processing.rst b/doc/sphinx/addendum/parallel-proof-processing.rst
index 8ee8f52227..eb19d57203 100644
--- a/doc/sphinx/addendum/parallel-proof-processing.rst
+++ b/doc/sphinx/addendum/parallel-proof-processing.rst
@@ -1,5 +1,3 @@
-.. include:: ../replaces.rst
-
 .. _asynchronousandparallelproofprocessing:
 
 Asynchronous and Parallel Proof Processing
-- 
cgit v1.2.3