diff --git a/collects/scribble/extract.ss b/collects/scribble/extract.ss index 73d5f79d66..4fddc25a54 100644 --- a/collects/scribble/extract.ss +++ b/collects/scribble/extract.ss @@ -51,7 +51,17 @@ (map (lambda (c) (syntax-case c (#%require #%plain-app void quote-syntax require/doc) [(#%require spec ...) - (syntax->list #'((for-label spec) ...))] + (let loop ([specs (syntax->list #'(spec ...))]) + (cond + [(null? specs) '()] + [else (let ([spec (car specs)]) + (syntax-case spec (for-syntax for-meta) + [(for-syntax . spec) (loop (cdr specs))] + [(for-meta . spec) (loop (cdr specs))] + [(for-template . spec) (loop (cdr specs))] + [(for-label . spec) (loop (cdr specs))] + [(just-meta . spec) (loop (cdr specs))] + [_ (cons #`(for-label #,spec) (loop (cdr specs)))]))]))] [(#%plain-app void (quote-syntax (require/doc spec ...))) (syntax->list #'(spec ...))] [_ null])) diff --git a/collects/scribblings/framework/tmp.scrbl b/collects/scribblings/framework/tmp.scrbl index 867b0b2f7c..7e1248a08d 100644 --- a/collects/scribblings/framework/tmp.scrbl +++ b/collects/scribblings/framework/tmp.scrbl @@ -3,5 +3,4 @@ @(require (for-label framework/main)) @(require (for-label scheme/gui)) @title{TMP} - @;(include-extracted (lib "main2.ss" "framework"))