Improve docs (build) and some code #16

Open
benknoble wants to merge 3 commits from benknoble/bk/docs into main
benknoble commented 2024-11-23 14:10:58 +00:00 (Migrated from github.com)

This started because I wanted to remove the path/md5sum output during raco setup; I made a few other (hopefully minor) modifications along the way.

See commits for details. Primary changes:

  • a536e5bec (docs: fix contract links, 2024-11-23)
  • 81b2514ed (asymptote: simplify string construction, 2024-11-23)
  • a48c87892 (asymptote: remove display side-effect, 2024-11-23)
This started because I wanted to remove the `path/md5sum` output during `raco setup`; I made a few other (hopefully minor) modifications along the way. See commits for details. Primary changes: - a536e5bec (docs: fix contract links, 2024-11-23) - 81b2514ed (asymptote: simplify string construction, 2024-11-23) - a48c87892 (asymptote: remove display side-effect, 2024-11-23)
This pull request can be merged automatically.
You are not authorized to merge this pull request.

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin benknoble/bk/docs:benknoble/bk/docs
git checkout benknoble/bk/docs

Merge

Merge the changes and update on Gitea.
git checkout main
git merge --no-ff benknoble/bk/docs
git checkout main
git merge --ff-only benknoble/bk/docs
git checkout benknoble/bk/docs
git rebase main
git checkout main
git merge --no-ff benknoble/bk/docs
git checkout main
git merge --squash benknoble/bk/docs
git checkout main
git merge --ff-only benknoble/bk/docs
git checkout main
git merge benknoble/bk/docs
git push origin main
Sign in to join this conversation.
No reviewers
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: suzanne.soy/scribble-math#16
No description provided.