From 9b918351e7aac53e0629bd7d907300a4fbb026f2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Thu, 15 Sep 2016 19:34:15 +0200 Subject: [PATCH] Use the enhancements from scribble-enhanced (they might be merged in this repository at one point). --- info.rkt | 3 ++- private/common.rkt | 10 +++++----- 2 files changed, 7 insertions(+), 6 deletions(-) diff --git a/info.rkt b/info.rkt index 34ef6fb2..03b38ccb 100644 --- a/info.rkt +++ b/info.rkt @@ -7,7 +7,8 @@ "scribble-lib" "typed-racket-lib" "typed-racket-more" - "typed-racket-doc")) + "typed-racket-doc" + "scribble-enhanced")) (define build-deps '("scribble-lib" "racket-doc" "rackunit-doc" diff --git a/private/common.rkt b/private/common.rkt index b9b60ddf..b241b277 100644 --- a/private/common.rkt +++ b/private/common.rkt @@ -221,12 +221,12 @@ (define-syntax-rule (unless-preexpanding . b) (begin . b)) - (require scribble/manual + (require (only-in racket/require + subtract-in) + (subtract-in scribble/manual + scribble-enhanced) + scribble-enhanced hyper-literate)))) - #,(datum->syntax #'ctx - `(require ,(datum->syntax #'bd1 'scribble/manual #'bd1 #'bd1) - ,(datum->syntax #'bd1 'hyper-literate #'bd1 #'bd1) - #;(only-in scribble/private/lp chunk CHUNK))) (begn body0 . body)) ;(strip-context #;#`(modl doc lng ;module doc scribble/doclang2