Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

rustdoc should output rust.css #2209

Closed
brson opened this issue Apr 14, 2012 · 3 comments
Closed

rustdoc should output rust.css #2209

brson opened this issue Apr 14, 2012 · 3 comments
Labels
T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.

Comments

@brson
Copy link
Contributor

brson commented Apr 14, 2012

The HTML rustdoc outputs expects to find rust.css for styling but does not provide it. #1654 would help
@ghost ghost assigned brson Apr 19, 2012
@bstrie
Copy link
Contributor

bstrie commented Jun 27, 2013

Fingers crossed, this would probably be obviated by @cmr's rustdoc revamp.

@emberian
Copy link
Member

#8125

rustdoc_ng makes this entirely irrelevant.

@emberian
Copy link
Member

Now that rustdoc_ng has been merged, closing.

bors added a commit to rust-lang-ci/rust that referenced this issue Sep 22, 2022
@bors
Auto merge of rust-lang#2209 - RalfJung:if-only, r=RalfJung
d98bd98 
hotfix for incorrect only- logic

This hacks around rust-lang/miri#2206. We don't currently use `only-32bit` or so, which is why this works.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@brson @emberian @bstrie