yojson doesn't install readable mli files anymore

[gerdstolpmann]

In particular, there is only yojson.mli including other modules, but the mli files of these are not installed. I'd appreciate it if all mli files could be installed - usually I am focusing on terminal work, and looking into other docs (html, pdf) is very distracting.

Anyway, thanks for everything.

[Leonidas-from-XIV]

Hi @gerdstolpmann, when I call dune build yojson.install I get an install file which includes the .mli files:

$ grep \.mli yojson.install
  "_build/install/default/lib/yojson/basic.mli"
  "_build/install/default/lib/yojson/codec.mli"
  "_build/install/default/lib/yojson/common.mli"
  "_build/install/default/lib/yojson/raw.mli"
  "_build/install/default/lib/yojson/safe.mli"
  "_build/install/default/lib/yojson/t.mli"
  "_build/install/default/lib/yojson/yojson.mli"