rustdoc: Fix Managarm C Library name in cfg pretty printer#155408

rust-bors[bot] merged 3 commits into

rust-lang:mainrust-lang/rust:mainfrom

teor2345:rustdoc-env-namesteor2345/rust:rustdoc-env-namesCopy head branch name to clipboard