From b4bb30b10e420dbfef8ba4c714f49cc56812011b Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Fri, 9 Sep 2011 08:18:25 +0000
Subject: fix documentation error

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

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index d4a6288d..dacf117f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1326,13 +1326,11 @@ that dependency checking takes noticeable time."
   "Non-standard coq library load path.
 List of directories to be added to the LoadPath of coqdep, coqc
 and coqtop. Under normal circumstances this list does not need to
-contain \".\" for the current directory (see
-`coq-load-path-include-current') or the coq standard
-library.
+contain the coq standard library or \".\" for the current
+directory (see `coq-load-path-include-current').
 
-For coqdep and coqc these directories are passed via \"-I\"
-options over the command line. For interactive scripting an
-\"Add LoadPath\" command is used."
+Elements of this list should be strings, which are passed as
+\"-I\" options over the command line to coqdep, coqc and coqtop."
   :type '(repeat string)
   :safe '(lambda (v) (every 'stringp v))
   :group 'coq-auto-compile)
-- 
cgit v1.2.3