From ffeefb4b969aaa0b6728e701593b79250eac1c25 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Mon, 28 Apr 2014 13:49:22 +0200
Subject: Recognize Parameters as a command in coqdoc. (Fix for bug #3279)

---
 tools/coqdoc/cpretty.mll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/coqdoc/cpretty.mll b/tools/coqdoc/cpretty.mll
index b4328d7001..73c313252f 100644
--- a/tools/coqdoc/cpretty.mll
+++ b/tools/coqdoc/cpretty.mll
@@ -325,7 +325,7 @@ let def_token =
 let decl_token =
   "Hypothesis"
   | "Hypotheses"
-  | "Parameter"
+  | "Parameter" 's'?
   | "Axiom" 's'?
   | "Conjecture"
 
-- 
cgit v1.2.3