fix it so that 'make' on its own works even if we're not building docs
authorSimon Marlow <marlowsd@gmail.com>
Thu, 28 May 2009 11:16:08 +0000 (11:16 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 28 May 2009 11:16:08 +0000 (11:16 +0000)

No differences found