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

[Chris Jerdonek]

Chris Jerdonek added the comment:

I went ahead and committed this if that's okay.  I wasn't sensing any strong objection but -0 from some and +1 or +0 from others.  To compensate for the extra six words, I went ahead and first made the current language more concise here:

http://hg.python.org/devguide/rev/157066a204ab

If anyone feels strongly, I would be happy to revert the change though.

----------
resolution:  -> fixed
stage:  -> committed/rejected

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