Haddock-HTML-files naar doc/haddock