Placeholder, will be replaced by rustc when calling <code>./x dist ferrocene-docs</code>.