update documentation

2 files changed, 7 insertions, 7 deletions

diff --git a/coq/coq-compile-common.el b/coq/coq-compile-common.el
index 514c4eb3..fea396f7 100644
--- a/coq/coq-compile-common.el
+++ b/coq/coq-compile-common.el
@@ -149,7 +149,7 @@ the background. The maximal number of parallel compilation jobs
 is set with `coq-max-background-compilation-jobs'.
 
 This option can be set/reset via menu
-`Coq -> Settings -> Compile Parallel In Background."
+`Coq -> Settings -> Compile Parallel In Background'."
   :type 'boolean
   :safe 'booleanp
   :group 'coq-auto-compile
@@ -158,6 +158,12 @@ This option can be set/reset via menu
 ;; defpacustom fails to call :eval during inititialization, see trac #456
 (coq-switch-compilation-method)
 
+(defcustom coq-max-background-compilation-jobs 1
+  "Maximal number of parallel jobs, if parallel compilation is enabled."
+  :type 'integer
+  :safe (lambda (v) (and (integerp v) (> v 0)))
+  :group 'coq-auto-compile)
+
 (defcustom coq-compile-command ""
   "External compilation command. If empty ProofGeneral compiles itself.
 If unset (the empty string) ProofGeneral computes the dependencies of
diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el
index 2d08c218..109b2c2d 100644
--- a/coq/coq-par-compile.el
+++ b/coq/coq-par-compile.el
@@ -221,12 +221,6 @@
 
 ;;; Variables
 
-(defcustom coq-max-background-compilation-jobs 1
-  "Maximal number of background compilation jobs."
-  :type 'integer
-  :safe (lambda (v) (and (integerp v) (> v 0)))
-  :group 'coq-auto-compile)
-
 (defvar coq-par-ancestor-files nil
   "Hash remembering the state of locked ancestor files.
 This hash maps true file names (in the sense of `file-truename')