places docs in user directory since its not on by default.

svn: r18698
This commit is contained in:
Eli Barzilay 2010-03-31 21:38:02 +00:00
parent ba57548bc7
commit 6234c57b69

View File

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