docs go in the main tree

svn: r9478

original commit: 6f00cd8a7c6e5477b91af847e98ae76559baa5e9
This commit is contained in:
Eli Barzilay 2008-04-25 19:55:23 +00:00
parent 0ecdc4acab
commit 66febb5ba5

View File

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