From 3a1bea8d1a77a97664a2148f9e05270b3169d7fe Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 5 Nov 2020 14:36:35 +0100
Subject: Add a redirection from previous location of the proof handling
 chapter.

---
 doc/sphinx/proof-engine/proof-handling.rst | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 doc/sphinx/proof-engine/proof-handling.rst

diff --git a/doc/sphinx/proof-engine/proof-handling.rst b/doc/sphinx/proof-engine/proof-handling.rst
new file mode 100644
index 0000000000..7f5aacbfdb
--- /dev/null
+++ b/doc/sphinx/proof-engine/proof-handling.rst
@@ -0,0 +1,5 @@
+:orphan:
+
+.. raw:: html
+
+   <meta http-equiv="refresh" content="0;URL=../proofs/writing-proofs/proof-mode.html">
-- 
cgit v1.2.3