PreTeXtBook/pretext-cli

dump warnings at end of CLI call

Opened this issue · 2 comments

To make it convenient to clean up warnings, we should repeat them at the end of a CLI run.

Including PTX:DEPRECATE.