From 41e2809febd6e09a34adf21beb6d2ae2360fdc46 Mon Sep 17 00:00:00 2001 From: Thomas Heller Date: Thu, 16 Oct 2003 19:40:48 +0000 Subject: Typo found by Lokasz Pankowski: dir_created -> directory_created --- Doc/dist/dist.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 @@ 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} -- cgit v0.12