From e4282ea99c664d8d58067bee199cbbcf881b60d5 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Sat, 4 Jul 2009 13:28:35 +0200
Subject: Imported Upstream version 8.2.pl1+dfsg

---
 tools/coqdoc/coqdoc.sty | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'tools/coqdoc/coqdoc.sty')

diff --git a/tools/coqdoc/coqdoc.sty b/tools/coqdoc/coqdoc.sty
index ef4f4119..fca9a1d7 100644
--- a/tools/coqdoc/coqdoc.sty
+++ b/tools/coqdoc/coqdoc.sty
@@ -70,6 +70,9 @@
 % !!! CAUTION: This environment may have empty contents
 \newenvironment{coqdoccode}{}{}
 
+% Environment for comments
+\newenvironment{coqdoccomment}{\tt(*}{*)}
+
 % newline and indentation 
 %BEGIN LATEX
 % Base indentation length
-- 
cgit v1.2.3

