Skip explicit creation of docs/ dir

[Sija]

Fixes #8717

[jhass]

Well, we still want to do it for HTML output, no?

[Sija]

@jhass And it's being done - see my commit comment.

[jhass]

Ah good catch. Sorry, the mobile client didn't make it obvious there's one :)

[straight-shoota]

I'd still keep this line and add is as first expression in generate_docs_html. That's preferable to an implicit creation which is purely based on order of instructions.

[RX14]

This is fine, and the first call doesn't need to explicitly be anywhere. The copy_files mkdir_p calls are working exactly as intended.