Create a gist now

Instantly share code, notes, and snippets.

Embed
What would you like to do?
make satysfi/demo/
satysfi demo.saty
---- ---- ---- ----
target file: 'demo.pdf'
dump file: 'demo.satysfi-aux' (will be created)
parsing 'demo.saty' ...
parsing 'stdjabook.satyh' ...
parsing 'pervasives.satyh' ...
parsing 'gr.satyh' ...
parsing 'list.satyh' ...
parsing 'math.satyh' ...
parsing 'color.satyh' ...
parsing 'code.satyh' ...
parsing 'vdecoset.satyh' ...
parsing 'itemize.satyh' ...
parsing 'tabular.satyh' ...
parsing 'local.satyh' ...
parsing 'hdecoset.satyh' ...
---- ---- ---- ----
reading 'color.satyh' ...
type check passed.
---- ---- ---- ----
reading 'pervasives.satyh' ...
type check passed.
---- ---- ---- ----
reading 'list.satyh' ...
type check passed.
---- ---- ---- ----
reading 'math.satyh' ...
type check passed.
---- ---- ---- ----
reading 'gr.satyh' ...
type check passed.
---- ---- ---- ----
reading 'tabular.satyh' ...
type check passed.
---- ---- ---- ----
reading 'hdecoset.satyh' ...
type check passed.
---- ---- ---- ----
reading 'itemize.satyh' ...
type check passed.
---- ---- ---- ----
reading 'stdjabook.satyh' ...
type check passed.
---- ---- ---- ----
reading 'vdecoset.satyh' ...
type check passed.
---- ---- ---- ----
reading 'code.satyh' ...
type check passed.
---- ---- ---- ----
reading 'local.satyh' ...
type check passed.
---- ---- ---- ----
reading 'demo.saty' ...
type check: document
---- ---- ---- ----
evaluating texts ...
evaluation done.
---- ---- ---- ----
breaking contents into pages ...
needs another trial for solving cross references...
---- ---- ---- ----
evaluating texts (2nd trial) ...
evaluation done.
---- ---- ---- ----
breaking contents into pages ...
all cross references were solved.
---- ---- ---- ----
embedding fonts ...
---- ---- ---- ----
writing pages ...
---- ---- ---- ----
output written on 'demo.pdf'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment