From 294a0f02c29c6626f11e8c9f99f3131bd780ae42 Mon Sep 17 00:00:00 2001
From: "Christoph M. Becker" <cmbecker69@gmx.de>
Date: Thu, 29 Oct 2020 00:17:55 +0100
Subject: [PATCH] Actually add PHP 8.0 migration guide to the manual

---
 manual.xml.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/manual.xml.in b/manual.xml.in
index 6e59239d67..cab8043012 100644
--- a/manual.xml.in
+++ b/manual.xml.in
@@ -473,6 +473,7 @@
  <book xml:id="appendices">
   <title>&Appendices;</title>
   &appendices.history;
+  &appendices.migration80;
   &appendices.migration74;
   &appendices.migration73;
   &appendices.migration72;