suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add note about --dvipdf to redex docs

Browse Source
This commit is contained in:
Robby Findler 2014-06-27 06:45:07 -05:00
parent 5280395f88
commit a2019476a4
1 changed files with 14 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl
View File

@ -2796,13 +2796,22 @@ symbol @racket['hole] to match the way they are input in a
@declare-exporting[redex/pict redex] @declare-exporting[redex/pict redex]
The @racketmodname[redex/pict] library provides functions The @racketmodname[redex/pict] library provides functions
designed to automatically typeset grammars, reduction designed to typeset grammars, reduction relations, and
relations, and metafunction written with plt redex. metafunctions.
Each grammar, reduction relation, and metafunction can be Each grammar, reduction relation, and metafunction can be
saved in a .ps file (as encapsulated postscript), or can be saved in a @filepath{.ps} file (as encapsulated PostScript),
turned into a pict for viewing in the REPL or using with or can be turned into a pict for viewing in the REPL or
Slideshow (see the @racketmodname[pict] library). using with Slideshow (see the @racketmodname[pict]
library).
For producing papers with Scribble, just include the
picts inline in the paper and pass the the @DFlag{dvipdf}
flag generate the @filepath{.pdf} file. For producing
papers with LaTeX, create @filepath{.ps} files from Redex and use
@tt{latex} and @tt{dvipdf} to create @filepath{.pdf} files
(using @tt{pdflatex} with @filepath{.pdf} files will
work but the results will not look as good onscreen).
@subsection{Picts, PDF, & PostScript} @subsection{Picts, PDF, & PostScript}