From 0ca977aecd6995690bd7744829abe24dd9d12b5d Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Fri, 27 May 2016 14:01:42 -0500
Subject: [PATCH] fix scribble/jfp

---
 scribble-lib/scribble/jfp/lang.rkt         |  4 +++-
 scribble-lib/scribble/jfp/replacements.tex |  1 +
 scribble-lib/scribble/private/defaults.rkt | 17 ++++++++++++-----
 3 files changed, 16 insertions(+), 6 deletions(-)
 create mode 100644 scribble-lib/scribble/jfp/replacements.tex

diff --git a/scribble-lib/scribble/jfp/lang.rkt b/scribble-lib/scribble/jfp/lang.rkt
index 3fa436f2..1e9e22a5 100644
--- a/scribble-lib/scribble/jfp/lang.rkt
+++ b/scribble-lib/scribble/jfp/lang.rkt
@@ -41,7 +41,9 @@
                          "\\let\\amalg\\relax\n"))
                 (scribble-file "jfp/style.tex")
                 (list cls-file)
-                #f))
+                #f
+                #:replacements
+                (hash "scribble-load-replace.tex" (scribble-file "jfp/replacements.tex"))))
 
 (unless (or (not (path? cls-file))
             (file-exists? cls-file))
diff --git a/scribble-lib/scribble/jfp/replacements.tex b/scribble-lib/scribble/jfp/replacements.tex
new file mode 100644
index 00000000..176fa412
--- /dev/null
+++ b/scribble-lib/scribble/jfp/replacements.tex
@@ -0,0 +1 @@
+\renewcommand{\packageRelsize}{}
diff --git a/scribble-lib/scribble/private/defaults.rkt b/scribble-lib/scribble/private/defaults.rkt
index c4b4be2a..19201ff8 100644
--- a/scribble-lib/scribble/private/defaults.rkt
+++ b/scribble-lib/scribble/private/defaults.rkt
@@ -21,7 +21,8 @@
 
 (define (add-defaults doc pfx styl extras version?
                       #:html [html #f]
-                      #:properties [properties null])
+                      #:properties [properties null]
+                      #:replacements [replacements #F])
   (struct-copy part doc [style (make-style (style-name (part-style doc))
                                            ((if version? add-property (lambda (x y z) x))
                                             (add-property
@@ -32,9 +33,15 @@
                                               html-defaults?
                                               html)
                                              latex-defaults?
-                                             (make-latex-defaults
-                                              pfx
-                                              styl
-                                              extras))
+                                             (if replacements
+                                                 (make-latex-defaults+replacements
+                                                  pfx
+                                                  styl
+                                                  extras
+                                                  replacements)
+                                                 (make-latex-defaults
+                                                  pfx
+                                                  styl
+                                                  extras)))
                                             document-version?
                                             (make-document-version (version))))]))