remove unneeded dependency of framework on parts of Scribble; Redex doc repairs; add #:style? argument to deftech

svn: r13696

original commit: 941a8935aa15954607a9e9437caf7293e5da18f8
This commit is contained in:
Matthew Flatt 2009-02-17 15:22:55 +00:00
parent a174d220fd
commit 5b6a24344f
2 changed files with 10 additions and 4 deletions

View File

@ -15,8 +15,10 @@
[s (regexp-replace* #px"[-\\s]+" s " ")])
(make-elem style c (list 'tech (doc-prefix doc s)))))
(define (deftech . s)
(let* ([e (apply defterm s)]
(define (deftech #:style? [style? #t] . s)
(let* ([e (if style?
(apply defterm s)
(make-element #f (decode-content s)))]
[t (*tech make-target-element #f #f (list e))])
(make-index-element #f
(list t)

View File

@ -929,7 +929,8 @@ The @tech{decode}d @scheme[pre-content] is hyperlinked to @scheme[t],
which is normally defined using @scheme[elemtag].}
@defproc[(deftech [pre-content any/c] ...) element?]{
@defproc[(deftech [pre-content any/c] ...
[#:style? style? any/c #t]) element?]{
Produces an element for the @tech{decode}d @scheme[pre-content], and
also defines a term that can be referenced elsewhere using
@ -952,7 +953,10 @@ as follows:
These normalization steps help support natural-language references
that differ slightly from a defined form. For example, a definition of
``bananas'' can be referenced with a use of ``banana''.}
``bananas'' can be referenced with a use of ``banana''.
If @scheme[style?] is true, then @scheme[defterm] is used on
@scheme[pre-content].}
@defproc[(tech [pre-content any/c] ...
[#:doc module-path (or/c module-path? false/c) #f])