make docs is more consistent
Merge pull request #3159 from SvenDowideit/make-docs-consistency

Makefile: make docs is more consistent