Skip to content

Fetch bibliography metadata through the shared elib CGI - #604

Merged
RussTedrake merged 3 commits into
masterfrom
codex/elib-json
Sep 7, 2026
Merged

Fetch bibliography metadata through the shared elib CGI#604
RussTedrake merged 3 commits into
masterfrom
codex/elib-json

Conversation

@RussTedrake

@RussTedrake RussTedrake commented Sep 7, 2026

Copy link
Copy Markdown
Owner

CSAIL MySQL is no longer reachable from outside the CSAIL network. Update htmlbook to the published 966bf1b revision and configure the metadata installer to fetch JSON from https://underactuated.csail.mit.edu/htmlbook/elib.cgi. The shared CGI is deployed on underactuated-r1 and uses the existing server-side database configuration.

Document hosting and GitHub account conventions, and normalize one Poincaré HTML entity in the generated table of contents so the installer leaves the checkout unchanged.

Validation: all 341 citation tags resolved through the live endpoint; normal and --check installer runs exit successfully with no output or changes; all 22 focused CGI and metadata tests pass.


This change is Reviewable

@RussTedrake
RussTedrake merged commit bd8005a into master Sep 7, 2026
2 of 4 checks passed
@RussTedrake
RussTedrake deleted the codex/elib-json branch September 7, 2026 03:12
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