revise the way setup-plt crawls over the collection trees

svn: r8860

original commit: b76390a4523dd523febeab8f432f0341b6a2d040
tokens
Eli Barzilay 17 years ago
parent e16459a573
commit 85bf23ecf5

@ -1,3 +1,5 @@
#lang setup/infotab #lang setup/infotab
(define scribblings '(("parser-tools.scrbl" (multi-page)))) (define scribblings '(("parser-tools.scrbl" (multi-page))))
(define compile-omit-paths '("examples"))

Loading…
Cancel
Save