<div dir="ltr">I got a fresh copy of HEAD today, and the build failed. The failing command is: <div><br></div><div><div>$ cd libraries &amp;&amp; sh gen_contents_index --intree</div><div>haddock: internal error: /Users/andreas/repos/temp-ghc-2/ghc-build/inplace/lib/html/Ocean.std-theme/hslogo-16.png: copyFile: does not exist (No such file or directory)</div>
</div><div><br></div><div style>I have not yet had time to look into this, but hopefully someone knows what happened here. </div><div style><br></div><div style>-Andi</div></div>