From 6089cb4788b4353c517d4ac1ce68c446dc2075f2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 23 Aug 2011 12:56:15 +0000
Subject: Add back annotation for docstring for texinfo

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index dc78607a..fd613ecc 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1299,7 +1299,7 @@ locked when the \"Require\" command is processed."
 
 (defcustom coq-compile-ignore-library-directory t
   "If non-nil, ProofGeneral does not compile modules from the coq library.
-Should be t for normal coq users. If nil library modules are
+Should be `t' for normal coq users. If `nil' library modules are
 compiled if their sources are newer.
 
 This option has currently no effect, because Proof General uses
-- 
cgit v1.2.3