diff options
Diffstat (limited to 'Doc/lib/libundoc.tex')
| -rw-r--r-- | Doc/lib/libundoc.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Doc/lib/libundoc.tex b/Doc/lib/libundoc.tex index c66fa64..85152c4 100644 --- a/Doc/lib/libundoc.tex +++ b/Doc/lib/libundoc.tex @@ -166,8 +166,8 @@ now just as good). \end{description} -The following modules are obsolete, but are likely re-surface as tools -or scripts. +The following modules are obsolete, but are likely to re-surface as +tools or scripts: \begin{description} \item[\module{find}] |