docs: Phase 4+5 — per-book PDF output + docs validation CI#123

gburd wants to merge 3 commits into

masterberkeleydb/libdb:masterfrom

docs/phase4-pdf-ciberkeleydb/libdb:docs/phase4-pdf-ciCopy head branch name to clipboard