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)
commitc34d7dd7c5d01910e5a73b1da3a72ad1a20fa692
tree168a6b4d24709162e1893faefe581c3524c367f5
parentb272715a0c248f219e188745c57bf42705f9c391
fix it so that 'make' on its own works even if we're not building docs
rules/docbook.mk