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.

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

Prettydocs #2762

Merged
merged 3 commits into from
Jul 2, 2012
Merged

Prettydocs #2762

merged 3 commits into from
Jul 2, 2012

Conversation

Dretch
Copy link
Contributor

@Dretch Dretch commented Jun 30, 2012

Work for issue #2498.

Notes:

  1. This did not rebase cleanly against incoming, but I submitted it anyway as requested.
  2. I have changed the test suite to use //~ ERROR instead of //! ERROR to work around a conflict with the sugared doc syntax.
  3. There is a new script: etc/sugarise-doc-comments.py to convert unsugared doc attributes, but I have not actually committed the results of running this script. I did not want the pull request to become too large and prone to merge conflicts (although I had to update the test suite in order to make check). It handles 95% of cases but will require some manual editing to deal with (mostly) lines that become too long.
  4. I plan on updating https://github.com/mozilla/rust/wiki/Doc-using-rustdoc once this pull request has been accepted.

1. make /// ... and //! ... and /** ... */ and /*! ... */ into sugar for #[doc = ...] attributes.
2. add a script in etc/ to help converting doc-attributes to doc-comments
3. add some functions to core::str to help with (1)
…id a

conflict with the new single-line-sugared-inner-doc-comment (`//! ...`).
@brson brson merged commit 29eb788 into rust-lang:incoming Jul 2, 2012
@brson
Copy link
Contributor

brson commented Jul 2, 2012

I've merged this. Will you follow up with the conversion of existing doc attributes to doc comments?

@Dretch
Copy link
Contributor Author

Dretch commented Jul 3, 2012

@brson Thanks for merging it. I will submit a new pull request for the conversion of existing comments.

oli-obk pushed a commit to oli-obk/rust that referenced this pull request Jan 30, 2023
RalfJung pushed a commit to RalfJung/rust that referenced this pull request Feb 26, 2023
@Dretch Dretch mentioned this pull request Feb 26, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants