build: correct the Dockerfile's note on dist/ #101

Merged
jcoffey-dev merged 1 commits from docker/dist-comment into main 2026-10-10 18:59:44 +00:00
Owner

Comment only. The Dockerfile said dist/ is committed "for the convenience of people serving the tree directly". It isn't (.gitignore keeps it out), so the line reads as if a checkout can be served as-is when it can't. The reason for building inside the image stays.

Comment only. The Dockerfile said `dist/` is committed "for the convenience of people serving the tree directly". It isn't (`.gitignore` keeps it out), so the line reads as if a checkout can be served as-is when it can't. The reason for building inside the image stays.
jcoffey-dev added 1 commit 2026-10-10 18:53:37 +00:00
build: correct the Dockerfile's note on dist/
ci / build (pull_request) Skipped
ci / publish (pull_request) Skipped
ci / notices (pull_request) Successful in 57s
github/ci (branch) GitHub Actions
ci / github (pull_request) Successful in 1m35s
9d693fd135
It said dist/ is committed for people serving the tree directly. It isn't: .gitignore keeps it out, so there is no built tree to serve. The reason for building in the image stands.
jcoffey-dev merged commit 8da7ae1080 into main 2026-10-10 18:59:44 +00:00
jcoffey-dev deleted branch docker/dist-comment 2026-10-10 18:59:44 +00:00
Sign in to join this conversation.