Skip to content

refactor: some more scaladoc cleanup #17967

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

Merged
merged 4 commits into from
Jun 16, 2023
Merged

Conversation

ckipp01
Copy link
Member

@ckipp01 ckipp01 commented Jun 13, 2023

This gets rid of some more stuff in scaladoc that doesn't seem to be used at all. You can see more details in each individual commit.

ckipp01 added 3 commits June 13, 2023 14:49
This seems to have been moved in
scala@c986fc5,
but without any context. I can't see it referenced anywhere and I also
see that it's actually in
https://github.com/lampepfl/dotty/blob/d332059144b10102ca4d1c433d294309b43f1e51/scaladoc-js/main/src/searchbar/SearchbarComponent.scala#L105-L113,
which makes me want to think this was never meant to be here. Testing
locally this also seems to work just fine without this.
All of these files seem to be leftover from the migrations to scala3doc
to being inside of the actual Dotty repo as they don't seem to be used
or referenced in any way.
None of the other modules have their own gitignore so to avoid any
confusion this just moves the single entry in the scaladoc one to the
main one and then removes the scaladoc one.
@ckipp01 ckipp01 merged commit d22d588 into scala:main Jun 16, 2023
@ckipp01 ckipp01 deleted the scaladocCleanup branch June 16, 2023 09:03
Kordyjan pushed a commit that referenced this pull request Nov 17, 2023
This gets rid of some more stuff in scaladoc that doesn't seem to be
used at all. You can see more details in each individual commit.
[Cherry-picked d22d588]
Kordyjan added a commit that referenced this pull request Nov 21, 2023
Backports #17967 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
@Kordyjan Kordyjan added this to the 3.3.2 milestone Dec 14, 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.

3 participants