From bb6e15cb3d64f2902f98d01b8fe12948a7191095 Mon Sep 17 00:00:00 2001
From: coq
Date: Tue, 30 Dec 2003 09:53:31 +0000
Subject: modif generales claude

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8455 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/headers.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/headers.tex')

diff --git a/doc/headers.tex b/doc/headers.tex
index c10dca58e9..277b62021e 100644
--- a/doc/headers.tex
+++ b/doc/headers.tex
@@ -82,6 +82,7 @@ Vernacular Commands Index}
 \newcommand{\comindex}[1]{%
 \index{#1@\texttt{#1}}\index[command]{#1@\texttt{#1}}}
 \newcommand{\errindex}[1]{\texttt{#1}\index[error]{#1}}
+\newcommand{\errindexbis}[2]{\texttt{#1}\index[error]{#2}}
 \newcommand{\ttindex}[1]{\index{#1@\texttt{#1}}}
 \makeatother
 
-- 
cgit v1.2.3