Zitat von Oliver Bandel <oliver@first.in-berlin.de>:
[...]
>
> ================================================
> # Filename.basename "/usr/lib";;
> - : string = "lib"
> # Filename.basename "/usr/";;
> - : string = "."
> # Filename.dirname "/usr/lib";;
> - : string = "/usr"
> # Filename.dirname "/usr/";;
> - : string = "/usr"
> #
> ================================================
>
> "/usr/" is a directory. So, Filename.dirname should give "usr".
>
[...]

No, this is a typo: it should give "/usr", as it does. :)

Ciao,
  Oliver