Skip to content

Instantly share code, notes, and snippets.

@sunaemon
Last active May 4, 2019 07:35
Show Gist options
  • Save sunaemon/dbaabcaeee2a160aa714ee82446667ed to your computer and use it in GitHub Desktop.
Save sunaemon/dbaabcaeee2a160aa714ee82446667ed to your computer and use it in GitHub Desktop.
satysfi hello.saty
$ satysfi --show-fonts hello.saty
---- ---- ---- ----
target file: 'hello.pdf'
dump file: 'hello.satysfi-aux' (already exists)
parsing 'hello.saty' ...
parsing 'stdjareport.satyh' ...
parsing 'pervasives.satyh' ...
parsing 'gr.satyh' ...
parsing 'geom.satyh' ...
parsing 'list.satyg' ...
parsing 'math.satyh' ...
parsing 'color.satyh' ...
parsing 'option.satyg' ...
parsing 'annot.satyh' ...
parsing 'footnote-scheme.satyh' ...
---- ---- ---- ----
type checking 'pervasives.satyh' ...
type check passed.
---- ---- ---- ----
type checking 'color.satyh' ...
type check passed.
---- ---- ---- ----
type checking 'option.satyg' ...
type check passed.
---- ---- ---- ----
type checking 'list.satyg' ...
type check passed.
---- ---- ---- ----
type checking 'geom.satyh' ...
type check passed.
---- ---- ---- ----
type checking 'gr.satyh' ...
type check passed.
---- ---- ---- ----
type checking 'annot.satyh' ...
type check passed.
---- ---- ---- ----
type checking 'footnote-scheme.satyh' ...
type check passed.
---- ---- ---- ----
type checking 'math.satyh' ...
type check passed.
---- ---- ---- ----
type checking 'stdjareport.satyh' ...
type check passed.
---- ---- ---- ----
type checking 'hello.saty' ...
type check passed. (document)
preprocessing 'pervasives.satyh' ...
preprocessing 'color.satyh' ...
preprocessing 'option.satyg' ...
preprocessing 'list.satyg' ...
preprocessing 'geom.satyh' ...
preprocessing 'gr.satyh' ...
preprocessing 'annot.satyh' ...
preprocessing 'footnote-scheme.satyh' ...
preprocessing 'math.satyh' ...
preprocessing 'stdjareport.satyh' ...
preprocessing 'hello.saty' ...
evaluating 'pervasives.satyh' ...
evaluating 'color.satyh' ...
evaluating 'option.satyg' ...
evaluating 'list.satyg' ...
evaluating 'geom.satyh' ...
evaluating 'gr.satyh' ...
evaluating 'annot.satyh' ...
evaluating 'footnote-scheme.satyh' ...
evaluating 'math.satyh' ...
evaluating 'stdjareport.satyh' ...
---- ---- ---- ----
evaluating texts ...
all the available fonts:
* `Junicode`: 'dist/fonts/Junicode.ttf'
* `Junicode-b`: 'dist/fonts/Junicode-Bold.ttf'
* `Junicode-it`: 'dist/fonts/Junicode-Italic.ttf'
* `ipaexg`: 'dist/fonts/ipaexg.ttf'
* `ipaexm`: 'dist/fonts/ipaexm.ttf'
* `lmmono`: 'dist/fonts/lmmono10-regular.otf'
* `lmroman`: 'dist/fonts/lmroman10-regular.otf'
* `lmroman-b`: 'dist/fonts/lmroman10-bold.otf'
* `lmroman-it`: 'dist/fonts/lmroman10-italic.otf'
* `lmsans`: 'dist/fonts/lmsans10-regular.otf'
all the available math fonts:
* `lmodern`: 'dist/fonts/latinmodern-math.otf'
[Warning] The combining diacritical mark of GID 9772 cannot be attached to the base glyph of GID 743.
[Warning] The combining diacritical mark of GID 9771 cannot be attached to the base glyph of GID 630.
[Warning] The combining diacritical mark of GID 9771 cannot be attached to the base glyph of GID 645.
[Warning] The combining diacritical mark of GID 9771 cannot be attached to the base glyph of GID 630.
[Warning] The combining diacritical mark of GID 9771 cannot be attached to the base glyph of GID 645.
[Warning] The combining diacritical mark of GID 9771 cannot be attached to the base glyph of GID 743.
[Warning] The combining diacritical mark of GID 9771 cannot be attached to the base glyph of GID 730.
[Warning] The combining diacritical mark of GID 9771 cannot be attached to the base glyph of GID 645.
evaluation done.
---- ---- ---- ----
breaking contents into pages ...
all cross references were solved.
---- ---- ---- ----
embedding fonts ...
---- ---- ---- ----
writing pages ...
---- ---- ---- ----
output written on 'hello.pdf'.
$ satysfi --version
SATySFi version 0.0.3
$ cat hello.saty
@require: stdjareport
document (|
title = {サンプル文書};
author = {組 版太郎};
|) '<
+chapter{はじめての章}<
+p{
\SATySFi; でのはじめての段落の記述です.
段落は \dfn{ブロックコマンド} で実現されています.
}
>
>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment