make satysfi/demo/

gistfile1.txt

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'