Also run grunt docs

[hnrch02]

Or a subset of tasks of grunt docs

[cvrebert]

I propose grunt clean:docs copy:docs as the subset

[hnrch02]

👍

[XhmikosR]

IIRC clean already runs though.

[cvrebert]

dist only includes clean:dist, not clean:docs, as a subtask

[XhmikosR]

Yeah, but docs includes clean:docs.

So, doing grunt dist docs should be enough.

[cvrebert]

docs also does lint checks, generates raw-files, and other overkill stuff, hence I am inclined to avoid it.

[XhmikosR]

Well, I agree about the lint stuff, but raw-files is still part of docs.

[cvrebert]

Yes, but it would cause so much extra churn.