(fix) put doc/ where rust-ci wants them