commit 6fe2c2903ae2a9e023ce92c378103b774a0773a6
parent 67fcf594644b7adce2568bb7a0b5af2cc14ceac9
Author: Georges Dupéron <georges.duperon@gmail.com>
Date: Mon, 6 Feb 2017 01:44:30 +0100
Attempt to circumvent again https://github.com/racket/racket/issues/1549 for older versions
Diffstat:
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/aful/scribble-enhanced.rkt b/aful/scribble-enhanced.rkt
@@ -1,8 +1,7 @@
#lang racket
(provide aful-scribble-render)
-(require scribble/manual
- phc-toolkit/stx)
+(require phc-toolkit/stx)
(define (aful-scribble-render self id code typeset-code uncode d->s stx-prop)
(syntax-case self ()
@@ -13,7 +12,9 @@
; body)
(with-syntax ([uncode (datum->syntax uncode (syntax-e uncode) self)])
(syntax/top-loc self
- ((uncode(seclink "_lang_aful"
- #:doc '(lib "aful/docs/aful.scrbl")
- (tt "#λ")))
+ ((uncode(let ()
+ (local-require scribble-enhanced/with-manual)
+ (seclink "_lang_aful"
+ #:doc '(lib "aful/docs/aful.scrbl")
+ (tt "#λ"))))
body)))]))
\ No newline at end of file