From 068dfb13db8b8801a1b5f7694a3fe90d640c7577 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 29 Mar 2018 18:20:33 +0200
Subject: [Sphinx] Move chapter 29 to new infrastructure

---
 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 061686e127..d373f76bfc 100644
--- a/doc/refman/Reference-Manual.tex
+++ b/doc/refman/Reference-Manual.tex
@@ -109,7 +109,6 @@ Options A and B of the licence are {\em not} elected.}
 %END LATEX
 \part{Addendum to the Reference Manual}
 \include{AddRefMan-pre}%
-\include{Universes.v}% Universe polymorphes
 %BEGIN LATEX
 \RefManCutCommand{ENDADDENDUM=\thepage}
 %END LATEX
-- 
cgit v1.2.3

