Typo found by Lokasz Pankowski:

dir_created -> directory_created
This commit is contained in:
Thomas Heller 2003-10-16 19:40:48 +00:00
parent ae4a299a0d
commit 41e2809feb

2
Doc/dist/dist.tex vendored
View file

@ -1461,7 +1461,7 @@ Some functions especially useful in this context are available in the
installation script.
\begin{verbatim}
dir_created(pathname)
directory_created(pathname)
file_created(pathname)
\end{verbatim}