docs go in the main tree

svn: r9478
This commit is contained in:
Eli Barzilay 2008-04-25 19:55:23 +00:00
parent 0483294762
commit 6f00cd8a7c

View File

@ -1,3 +1,3 @@
#lang setup/infotab
(define scribblings '(("typed-scheme.scrbl" (user-doc))))
(define scribblings '(("typed-scheme.scrbl" ())))