Typo found by Lokasz Pankowski:

dir_created -> directory_created
diff --git a/Doc/dist/dist.tex b/Doc/dist/dist.tex
index 17db70b..79471cc 100644
--- a/Doc/dist/dist.tex
+++ b/Doc/dist/dist.tex
@@ -1461,7 +1461,7 @@
 installation script.
 
 \begin{verbatim}
-dir_created(pathname)
+directory_created(pathname)
 file_created(pathname)
 \end{verbatim}