From 2e24b82ced473fa5b8f9671407fcc8a8712fe946 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Sat, 24 Mar 2018 14:00:37 -0300
Subject: Move Classes.tex to type-classes.rst

---
 doc/refman/Reference-Manual.tex | 1 -
 1 file changed, 1 deletion(-)

(limited to 'doc/refman/Reference-Manual.tex')

diff --git a/doc/refman/Reference-Manual.tex b/doc/refman/Reference-Manual.tex
index 86f123322c..7ce28ccf86 100644
--- a/doc/refman/Reference-Manual.tex
+++ b/doc/refman/Reference-Manual.tex
@@ -118,7 +118,6 @@ Options A and B of the licence are {\em not} elected.}
 \part{Addendum to the Reference Manual}
 \include{AddRefMan-pre}%
 \include{Coercion.v}%
-\include{Classes.v}%
 \include{Extraction.v}%
 \include{Program.v}%
 \include{Polynom.v}%  = Ring
-- 
cgit v1.2.3