Fix terrible mistake: copy generated-src as docs instead of
generated-html