diff options
| author | Nicolas Pouillard <np@nicolaspouillard.fr> | 2007-11-21 20:48:37 +0000 |
|---|---|---|
| committer | Nicolas Pouillard <np@nicolaspouillard.fr> | 2007-11-21 20:48:37 +0000 |
| commit | 1526de337ecf03415df8be80fcea5956fa255cf6 (patch) | |
| tree | 952d676fb07c3de585cfa4c0282c36d1092d2679 /ocamlbuild/manual/manual.tex | |
| parent | 3107465c71ec6e390f04b1941915397a911b3fd2 (diff) | |
[ocamlbuild] [FIXED] Globbing wildcard '?' cannot match slash (update doc too)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8568 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 %% |