From 1c4ab025a196d47e20b80f04f60e34edd60a44c2 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Thu, 26 Mar 2009 12:20:37 +0000
Subject: Protect typeset arguments in titles in LaTeX output (fixes
 compilation errors in Library.coqdoc).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12017 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdoc/output.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml
index 032c35caf8..0343809b02 100644
--- a/tools/coqdoc/output.ml
+++ b/tools/coqdoc/output.ml
@@ -292,7 +292,7 @@ module Latex = struct
 
   let ident s l = 
     if !in_title then (
-      printf "\\texorpdfstring{";
+      printf "\\texorpdfstring{\\protect";
       with_latex_printing (fun s -> ident s l) s;
       printf "}{"; raw_ident s; printf "}")
     else
-- 
cgit v1.2.3