diff --git a/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl b/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl
index cfd5957584..ac2bb86161 100644
--- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl
+++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl
@@ -2796,13 +2796,22 @@ symbol @racket['hole] to match the way they are input in a
 @declare-exporting[redex/pict redex]
 
 The @racketmodname[redex/pict] library provides functions
-designed to automatically typeset grammars, reduction
-relations, and metafunction written with plt redex.
+designed to typeset grammars, reduction relations, and
+metafunctions.
 
 Each grammar, reduction relation, and metafunction can be
-saved in a .ps file (as encapsulated postscript), or can be
-turned into a pict for viewing in the REPL or using with
-Slideshow (see the @racketmodname[pict] library).
+saved in a @filepath{.ps} file (as encapsulated PostScript),
+or can be turned into a pict for viewing in the REPL or
+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}