Skip to content

Validation and external directory updates - #1201

Merged
oscarlevin merged 13 commits into
mainfrom
external
Aug 3, 2026
Merged

Validation and external directory updates#1201
oscarlevin merged 13 commits into
mainfrom
external

Conversation

@oscarlevin

Copy link
Copy Markdown
Member

This switches the pretext validate command to use core pretext's version. Also included is an experimental "jing-free" validation tweak.

It also fixes issues with logging and updates templates to use the new specification of external directories in docinfo.

@oscarlevin

Copy link
Copy Markdown
Member Author

Waiting on a merge from core, which should fix all the tests

@oscarlevin
oscarlevin merged commit 56ecef6 into main Aug 3, 2026
13 of 16 checks passed
@oscarlevin
oscarlevin deleted the external branch August 3, 2026 19:18
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