Doc filepath

To be pulled after the patch that allows mli files