[issue16814] use --directory option of make in describing how to build the docs

[Ezio Melotti]

Ezio Melotti added the comment:

FWIW even if I heard about the one-liner a few times already I can't really seem to remember it, and prefer to do "cd Doc" anyway.  Using "cd Doc" also makes all the subsequent commands shorter (e.g. opening files, running other make targets).
The patch proposed by Chris looks OK to me though.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue16814>
_______________________________________