Add Makefile for compat

Author: proux01

Make.compat

@@ -0,0 +1,7 @@
+theories/Compat/AdmitAxiom.v
+theories/Compat/Coq818.v
+theories/Compat/Coq819.v
+theories/Compat/Coq820.v
+theories/Compat/Coq821.v
+
+-Q theories/Compat Stdlib.Compat

doc/stdlib/index-list.html.template

@@ -680,14 +680,9 @@ through the <tt>Require Import</tt> command.</p>
     theories/Wellfounded/Well_Ordering.v
   </dd>
 
-  <dt> <b>Setoids</b>:
-  </dt>
-  <dd>
-    theories/Setoids/Setoid.v
-  </dd>
-
   <dt> <b>Compat</b>:
     Compatibility wrappers for previous versions of Coq
+    in namespace Stdlib.Compat.
   </dt>
   <dd>
     theories/Compat/AdmitAxiom.v