Use rustc-workspace-hack for rustbook#65920

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

smaeul:patch/workspace-hacksmaeul/rust:patch/workspace-hackCopy head branch name to clipboard