Rename documentation build rules using s/docs/doc/; more like git