commit 0ca977aecd6995690bd7744829abe24dd9d12b5d
parent 5edbe0fc851a811e497ce6426bfee3f707b192b4
Author: Robby Findler <robby@racket-lang.org>
Date: Fri, 27 May 2016 14:01:42 -0500
fix scribble/jfp
Diffstat:
3 files changed, 16 insertions(+), 6 deletions(-)
diff --git 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
@@ -0,0 +1 @@
+\renewcommand{\packageRelsize}{}
diff --git 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))))]))
