From 67ad410e48608682f48c6bf8c27b2657a48f71ab Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sat, 8 Feb 2020 15:52:05 +0100
Subject: Remove -compat 8.9.

Commit auto-generated by running dev/tools/update-compat.py --release.
As per release doc this must be run at some point before branching
(not necessarily close to the branching date).
---
 doc/stdlib/index-list.html.template | 1 -
 1 file changed, 1 deletion(-)

(limited to 'doc/stdlib')

diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 5e13214a1a..b2ddf36b65 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -664,7 +664,6 @@ through the <tt>Require Import</tt> command.</p>
   </dt>
   <dd>
     theories/Compat/AdmitAxiom.v
-    theories/Compat/Coq89.v
     theories/Compat/Coq810.v
     theories/Compat/Coq811.v
     theories/Compat/Coq812.v
-- 
cgit v1.2.3