fixing build for the documentation
authorReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 14 Jun 2017 15:10:22 +0000 (17:10 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 14 Jun 2017 15:10:22 +0000 (17:10 +0200)
commitefb09fbac6fe9d4ad3f63836b48d765e90cf4604
tree59b631f9ab9bcfe3cfc418e948bcd27bde810a41
parent3ea0059e0792b9cfba434dac3d0c1383ad497402
fixing build for the documentation

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
doc/Hakefile