Skip to content

docs(book): add a dedication to Ángel Luis Mula (CIO)#32

Merged
ancongui merged 1 commit into
mainfrom
docs/book-dedication
Jun 16, 2026
Merged

docs(book): add a dedication to Ángel Luis Mula (CIO)#32
ancongui merged 1 commit into
mainfrom
docs/book-dedication

Conversation

@ancongui

Copy link
Copy Markdown
Contributor

Adds a front-matter dedication page (after copyright), in American English, for our CIO Ángel Luis Mula — thanking him for relentlessly insisting we build a Rust version, with an affectionate systems/ops joke (no GC to babysit, no 3 a.m. pages, a cloud bill that no longer reads like a ransom note, and the borrow checker being the only thing in the building stricter than him).

Regenerated PDF + EPUB included. Docs-only.

A front-matter dedication page (after the copyright page), in American
English, thanking our CIO Ángel Luis Mula for relentlessly insisting on a
Rust version — with an affectionate systems/ops joke (no GC to babysit, no
3 a.m. pages, a cloud bill that no longer reads like a ransom note, and the
borrow checker being the only thing in the building stricter than him).

- src/00-front/00-dedication.md (new front-matter page)
- book.yaml: dedication entry after copyright (nav: false)
- build/build.py: dedication-page front class
- theme/print.css: a vertically-centred, italic .dedication-page style
- dist: regenerated PDF + EPUB (now 6 front-matter pages)

Docs-only.
@ancongui ancongui merged commit ea55ac3 into main Jun 16, 2026
@ancongui ancongui deleted the docs/book-dedication branch June 16, 2026 18:26
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.

1 participant