Skip to content

Conversation

andreacfromtheapp
Copy link
Contributor

@andreacfromtheapp andreacfromtheapp commented Sep 25, 2025

these changes fix #4865 and close #7045

Signed-off-by: andreacfromtheapp <[email protected]>
@nellshamrell
Copy link
Contributor

Thank you! I will review this over the weekend :)

@nellshamrell
Copy link
Contributor

I just realized you caught us on something - we updated our publishing process/commands on our internal publishing checklist, but forgot to update them here in the README (that's on me!) when we made some updates to the make files.

This is the command we currently use to build the website

make website

rather than

make build && make generate-website && make host-website

However, I think your changes to our Dockerfile will be very helpful. Testing things out now, then I will suggest some changes to the README on this pull request.

Copy link
Contributor

@nellshamrell nellshamrell left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The Dockerfile works BEAUTIFULLY! I realized we hadn't updated our documentation, which explains some of the confusion, I've added suggestions to the README to reflect the make commands that we use (which do work with the new Dockerfile quite well). Thank you for catching this!

andreacfromtheapp and others added 2 commits October 1, 2025 08:36
Co-authored-by: Nell Shamrell-Harrington <[email protected]>
Co-authored-by: Nell Shamrell-Harrington <[email protected]>
@andreacfromtheapp
Copy link
Contributor Author

The Dockerfile works BEAUTIFULLY! I realized we hadn't updated our documentation, which explains some of the confusion, I've added suggestions to the README to reflect the make commands that we use (which do work with the new Dockerfile quite well). Thank you for catching this!

You are exactly right :) I couldn't catch that change and I'm glad that by chance it still worked fine! Happy to help.

There would be more issues to amend IMHO but I'm unsure they would be welcome. Intersted in a discussion about them?

@nellshamrell
Copy link
Contributor

Thanks for the updates! And I would welcome a discussion about more issues to amend. Feel free to send me an email [email protected] :)

Copy link
Contributor

@nellshamrell nellshamrell left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ty so much!

@nellshamrell nellshamrell merged commit 0b74deb into rust-lang:master Oct 2, 2025
1 check passed
@andreacfromtheapp
Copy link
Contributor Author

Thanks for the updates! And I would welcome a discussion about more issues to amend. Feel free to send me an email [email protected] :)

Hi @nellshamrell , I could reach out via email no problem, but I was wondering if enabling the Discussion feature on the repo would help for these kind of things. It has many advantages and history too. Let me know.

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.

Problem building the docker image
2 participants