Add DuplicateJobProximity info

diff --git a/docs/manuals/en/main/dirdconf.tex b/docs/manuals/en/main/dirdconf.tex
index 9a5520a5d64130a07907730a62e6c597ea3849dd..7178d79f8e3b788a4326a10fa1e5dc4cc23b8f50 100644 (file)
--- a/docs/manuals/en/main/dirdconf.tex
+++ b/docs/manuals/en/main/dirdconf.tex
@@ -1700,6 +1700,13 @@ runs longer than expected because no tapes are available.
   if this directive is set to {\bf yes} any job that is already running
   will be canceled.  The default is {\bf no}.
 
+
+\item[DuplicateJobProximity = \lt{}time-specification\gt{}]
+\index[general]{Duplicate Job Proximity}
+  This directive permits to determine if two jobs are really duplicated.
+  If the first one is running for long time, this is probably not a good
+  idea to cancel it.
+
 \item [Run = \lt{}job-name\gt{}]
    \index[dir]{Run}
    \index[dir]{Directive!Run}