pretext-cli
pretext-cli copied to clipboard
dump warnings at end of CLI call
To make it convenient to clean up warnings, we should repeat them at the end of a CLI run.
Including PTX:DEPRECATE.
See also: https://github.com/PreTeXtBook/pretext/pull/2241