ocaml-batteries-team/batteries-included — pull request #323 by rixed (2012-11-27 20:02:55+00:00)
Title: Fix `make install-doc`

since we removed the doc directory, don't try to install it.