Remove html_theme requirement of haddock docs
authorBen Gamari <ben@smart-cactus.org>
Mon, 16 May 2016 19:07:13 +0000 (21:07 +0200)
committerBen Gamari <ben@smart-cactus.org>
Mon, 16 May 2016 19:07:13 +0000 (21:07 +0200)
commit781442096b02a3dac7ab5ad6335f07b7edb569ea
tree5b3348d6f99c7cf4cb9fd836ed229c0063dfdf3e
parentd20d8437a2b1dfde2399263de309a4aa537cfacd
Remove html_theme requirement of haddock docs

Updates haddock submodule.
utils/haddock