diff -r f518f23d06d5 documenting.rst --- a/documenting.rst Sun Aug 05 18:48:35 2012 +1000 +++ b/documenting.rst Thu Aug 09 14:26:23 2012 -0400 @@ -1710,9 +1710,16 @@ or from PyPI at http://pypi.python.org/pypi/Pygments. -Then, make an output directory, e.g. under `build/`, and run :: +Then, make an output directory, e.g. under `build/`, and from the `Docs` +directory run :: python tools/sphinx-build.py -b . build/ where `` is one of html, text, latex, or htmlhelp (for explanations see the make targets above). + +If you are building the developer's guide, or for some other reason can not use +the `tools/sphinx-build.py` file, you can also run the following command from +the directory containing `conf.py` :: + + sphinx-build -b . build/