redex: "info.rkt" fix for moved documentation
This commit is contained in:
parent
b8e20f5a3e
commit
9a3f423c51
|
@ -4,4 +4,8 @@
|
||||||
|
|
||||||
(define deps '("base" "racket-doc"))
|
(define deps '("base" "racket-doc"))
|
||||||
(define build-deps '("at-exp-lib"
|
(define build-deps '("at-exp-lib"
|
||||||
"scribble-lib"))
|
"scribble-lib"
|
||||||
|
"gui-lib"
|
||||||
|
"htdp-lib"
|
||||||
|
"pict-lib"
|
||||||
|
"redex-lib"))
|
||||||
|
|
3
pkgs/redex-pkgs/redex-doc/redex/info.rkt
Normal file
3
pkgs/redex-pkgs/redex-doc/redex/info.rkt
Normal file
|
@ -0,0 +1,3 @@
|
||||||
|
#lang info
|
||||||
|
|
||||||
|
(define scribblings (list (list "redex.scrbl" (list 'multi-page) (list 'tool))))
|
|
@ -3,7 +3,6 @@
|
||||||
(define collection "redex")
|
(define collection "redex")
|
||||||
|
|
||||||
(define name "PLT Redex")
|
(define name "PLT Redex")
|
||||||
(define scribblings (list (list "redex.scrbl" (list 'multi-page) (list 'tool))))
|
|
||||||
(define release-notes (list (list "Redex" "HISTORY.txt")))
|
(define release-notes (list (list "Redex" "HISTORY.txt")))
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user