From 5731732275e82a24fe9ea22640ccee58138fda8f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 4 Dec 2009 09:35:40 +0000
Subject: docstring

---
 generic/proof-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 1f46212e..c965e754 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -758,7 +758,7 @@ At present this is used only by the `proof-easy-config' macro."
 (defcustom proof-script-span-context-menu-extensions nil
   "Extensions for the in-span context sensitive menu.
 This should be a function which accepts three arguments: SPAN IDIOM NAME.
-See pg-user.el: pg-create-in-span-context-menu for more hints."
+See pg-user.el: `pg-create-in-span-context-menu' for more hints."
   :type 'function
   :group 'proof-script)
 
-- 
cgit v1.2.3