From 729c4847ef3736829727948cd2c542149432970d Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 22 Mar 2018 15:09:00 +0100
Subject: [Sphinx] Move chapter 26 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 a652a121c5..13c3c0aacd 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{Polynom.v}%  = Ring
-\include{Nsatz.v}%
 \include{Setoid.v}% Tactique pour les setoides
 \include{AsyncProofs}% Paral-ITP
 \include{Universes.v}% Universe polymorphes
-- 
cgit v1.2.3