From 218f45f4878fce3da520fae4694dad5653d8de4f Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Wed, 3 Oct 2018 12:06:02 -0400
Subject: Update -compat to support -compat 8.10

This commit was created via `./dev/tools/update-compat.py --master`
---
 doc/stdlib/index-list.html.template | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/stdlib')

diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 51f94d7e5a..c33df52038 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -618,5 +618,6 @@ through the <tt>Require Import</tt> command.</p>
     theories/Compat/Coq87.v
     theories/Compat/Coq88.v
     theories/Compat/Coq89.v
+    theories/Compat/Coq810.v
   </dd>
 </dl>
-- 
cgit v1.2.3