diff -r 475bb98ae813 Doc/documenting/building.rst --- a/Doc/documenting/building.rst Thu Jun 02 16:43:25 2011 +0200 +++ b/Doc/documenting/building.rst Fri Jun 03 01:59:30 2011 +0200 @@ -14,6 +14,7 @@ Luckily, a Makefile has been prepared so that on Unix, provided you have installed Python and Subversion, you can just run :: + cd Doc make html to check out the necessary toolset in the :file:`tools/` subdirectory and build