Fix label

diff --git a/docs/manuals/en/main/dirdconf.tex b/docs/manuals/en/main/dirdconf.tex
index 3b3370b072ea836e8f2cb3f2c840fcaab88de972..5000915f3d2f748c31f78c45d4eda875aaee219c 100644 (file)
--- a/docs/manuals/en/main/dirdconf.tex
+++ b/docs/manuals/en/main/dirdconf.tex
@@ -3119,7 +3119,7 @@ Job {
 \end{lstlisting}
 \label{PoolScratchPool}
 
-   \label{Director:Pool:ScrachPool}
+   \label{Director:Pool:ScratchPool}
 \item [ScratchPool = \lt{}pool-resource-name\gt{}]
    \index[dir]{ScrachPool}
    \index[dir]{Directive!ScrachPool}