From 25620f605279969ff58f585f0bee0ca4c5c45553 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Thu, 15 Sep 2011 08:06:20 +0000
Subject: fix widget descriptions of coq-load-path

---
 coq/coq.el | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index 9a15831d..6bdaa628 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1283,13 +1283,17 @@ contain the coq standard library or \".\" for the current
 directory (see `coq-load-path-include-current')."
   :type '(repeat (choice (string :tag "simple directory without path (-I)")
                          (list :tag "recursive directory without path (-R)"
-                               (const rec) (string))
+                               (const rec) (string :tag "directory"))
                          (list :tag
                                "recursive directory with path (-R ... -as ...)"
-                               (const rec) (string) (string))
+                               (const rec)
+                               (string :tag "directory")
+                               (string :tag "log path"))
                          (list :tag
-                               "simple directory with path (-R ... -as ...)"
-                               (const nonrec) (string) (string))))
+                               "simple directory with path (-I ... -as ...)"
+                               (const nonrec)
+                               (string :tag "directory")
+                               (string :tag "log path"))))
   :safe '(lambda (v) (every
                       '(lambda (entry)
                          (or (stringp entry)
-- 
cgit v1.2.3