Hi all. I was just installing ExtLib on my Mac, and I get the error:

cp odoc_style.css /usr/local/lib/ocaml/extlib/extlib-doc/style.css
cp: odoc_style.css: No such file or directory
Exit Code 1 - Stopped

I don't see a file called odoc_style.css anywhere. Doesn't seem like a big deal since the documentation does get installed, and is formatted fine. However, this prevents the libraries from getting installed. To bypass this, I re-ran the installation, this time making sure not to select document installation.