commit | 41e2809febd6e09a34adf21beb6d2ae2360fdc46 | [log] [tgz] |
---|---|---|
author | Thomas Heller <theller@ctypes.org> | Thu Oct 16 19:40:48 2003 +0000 |
committer | Thomas Heller <theller@ctypes.org> | Thu Oct 16 19:40:48 2003 +0000 |
tree | 617c5e38450da74e557da4ac903ed8f3259218e5 | |
parent | ae4a299a0d457724cf1871dc8b30b6c01c58643c [diff] |
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}