Open akerbos opened 7 years ago
Workaround: Generate markdown and use grip to render markdown in the browser. Drawback: GitHub knows the error locks as grip uses server-side markdown rendering.
One can also use Pandoc locally to that end. On GNU/Linux, entr
can be used to watch for the log file to change and re-run Pandoc to generate an HTML, which the browser can be configured to auto-refresh on changes (e.g. with Auto Reload in Firefox).
Building PDF logs is kind of slow.
lualatex
orpdflatex
faster?