From fee7eda39631ef33c6c3df31b3361ac53d6e945b Mon Sep 17 00:00:00 2001
From: notin
Date: Fri, 8 Feb 2008 13:48:26 +0000
Subject: Oubli dans r10524

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10525 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdoc/pretty.mll | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/coqdoc/pretty.mll b/tools/coqdoc/pretty.mll
index 2af5bda093..686197f9b8 100644
--- a/tools/coqdoc/pretty.mll
+++ b/tools/coqdoc/pretty.mll
@@ -229,6 +229,8 @@ let decl_token =
 
 let gallina_ext =
   "Module" 
+  | "Include" space+ "Type"
+  | "Include"
   | "Declare" space+ "Module"
   | "Transparent"
   | "Opaque"
-- 
cgit v1.2.3