diff options
| -rw-r--r-- | Doc/dist/dist.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/dist/dist.tex b/Doc/dist/dist.tex index ba90763..7a0f073 100644 --- a/Doc/dist/dist.tex +++ b/Doc/dist/dist.tex @@ -692,7 +692,7 @@ Some examples: \begin{tableii}{l|l}{code}{Provides Expression}{Explanation} \lineii{mypkg} {Provide \code{mypkg}, using the distribution version} - \lineii{mypkg (1.1} {Provide \code{mypkg} version 1.1, regardless of the + \lineii{mypkg (1.1)} {Provide \code{mypkg} version 1.1, regardless of the distribution version} \end{tableii} |