Fix rust-ci doc generation