diff options
Diffstat (limited to 'ocamlbuild/manual/manual.tex')
| -rw-r--r-- | ocamlbuild/manual/manual.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamlbuild/manual/manual.tex b/ocamlbuild/manual/manual.tex index 6cb325364..7da1b5cb6 100644 --- a/ocamlbuild/manual/manual.tex +++ b/ocamlbuild/manual/manual.tex @@ -414,7 +414,7 @@ $\texttt{-}$ and $\texttt{.}$. This is called the pathname alphabet $P$. \texttt{foo/**}& \texttt{foo}, \texttt{foo/bar} & \texttt{bar/foo} & - Any string starting with a slash, or the empty string. + Any string starting with a slash, or the empty string ($\varepsilon \cup \mathtt{/}P^*$) \\ \hline %% |