Update doc target - only build for p4_lib.mli